Also try the other names for the HDMI port.