[coreboot-gerrit] Patch merged into coreboot/master: 6c184d6 exynos5420: Don't disable and re-enable the MMU when uncaching the framebuffer