[coreboot-gerrit] Change in libgfxinit[master]: gma: Add contract to Enable_Output() to rely less on proof inlining