[coreboot-gerrit] Patch set updated for coreboot: 7f3ea94 exynos5420: Don't disable and re-enable the MMU when uncaching the framebuffer