[HardwareInfo] tweak HDMI detection code.