[coreboot] New patch to review for coreboot: b1d3a41 Drop ARCH_ARM in favor of ARCH_ARMV7