hdmi_toggle: fix some stuff..