[coreboot-gerrit] Change in libgfxinit[master]: gma broxton: Tighten types to rely less on proof inlining