[coreboot] Patch set updated for coreboot: 319a2ae armv7: Clean up the mmu setup a bit