[coreboot-gerrit] Patch merged into coreboot/master: 51edd54 ARM: Generalize armv7 as arm.