[coreboot-gerrit] Patch set updated for coreboot: 5c0855a ARMV7: add a function to disable MMU entries