HDMI button was not correctly selected when HDMI audio was set