[coreboot-gerrit] Patch merged into coreboot/master: e5d5942 cygnus: enable mmu