[coreboot] Patch merged into coreboot/master: 6edb729 Drop ARCH_ARM in favor of ARCH_ARMV7