Fix HDMI-CEC weirdness with a Raspberry Pi and a $7 cable | Not Hacker News!