[coreboot-gerrit] Patch merged into coreboot/master: 93ce3b3 ARMv7: flatten arch/armv7 source tree