[coreboot] Patch merged into coreboot/master: 6d47cbe ARMv7: drop __KERNEL__