[coreboot-gerrit] New patch to review for coreboot: 32a3d97 ARMV7: add a function to disable MMU entries