[coreboot] Patch merged into coreboot/master: 421288d Make libgcc wrappers arch-specific, add ARMv7