[coreboot-gerrit] New patch to review for coreboot: dabab7f exynos5420: Don't disable and re-enable the MMU when uncaching the framebuffer