[coreboot] New patch to review for coreboot: 516ec9f ARMv7: Make ABI compatible to reference toolchain