[coreboot] Patch merged into coreboot/master: b25208f armv7: use start and size parameters in mmu_setup()