Use HDMI1 for xrandr.