[coreboot] Patch merged into coreboot/master: dab4238 crossgcc: Add support for building armv7a toolchain