[coreboot-gerrit] Patch merged into coreboot/master: 800790d ARM: Fix up page table/cachability management.