[coreboot-gerrit] Change in libgfxinit[master]: g45/hw-gfx-gma-gmch-hdmi.adb: Use GMCH_HDMI_MODE_SELECT_DVI