[coreboot] Patch merged into coreboot/master: 853f469 ARMv7: Make ABI compatible to reference toolchain