[coreboot-gerrit] Patch merged into coreboot/master: ef4275b x86: protect against abi assumptions from compiler