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