HDMI/dvi-d for BIOS