[coreboot-gerrit] Change in coreboot[master]: asrock/b75pro3-m: fix the HDMI port