hdmi control now on IR remote