Now that obsd uses more recent Xorg and kms, change HDMI to HDMI1