[coreboot-gerrit] New patch to review for coreboot: 2c38317 armv7: remove loop from dcache_mmu_disable()