[coreboot-gerrit] Change in ...libgfxinit[master]: gma config: Introduce Have_HDMI_Buf_Override