[coreboot] Patch merged into coreboot/master: 10c90d3 update CFLAGS for armv7