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