[coreboot-gerrit] Patch set updated for coreboot: 48c4261 ARMv7: flatten arch/armv7 source tree