HDMI: Make default HDMI resolution consistent with CONFIG option