[coreboot-gerrit] Change in libgfxinit[master]: gma config_helpers: Add Maximum_Dotclock() function