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

Wait 5 sec.

Comments