Home theater control with HDMI-CEC and LIRC