[coreboot] New patch to review for coreboot: 0b41858 Clean up the mmu setup a bit