HDMI CEC and TV input