[coreboot-gerrit] New patch to review for coreboot: 0a80427 armv7: import updated cache/MMU stuff from coreboot