[coreboot] New patch to review for coreboot: 4cfb3d8 ARMv7: drop __KERNEL__