[coreboot-gerrit] Patch set updated for coreboot: c42eb9e exynos5420: Clear the framebuffer before making it uncacheable