[coreboot] Patch merged into coreboot/master: 90b4ce2 armv7: Clean up the mmu setup a bit