[coreboot-gerrit] Change in libgfxinit[master]: edid: Use expression functions to rely less on proof inlining