infrared frequency setting for hdmi switch