Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable