HDMI hotplug