HDMI CEC stopped working on Raspberry Pi 4