Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable (via fanf) — discussion

#hardware