[coreboot-gerrit] Patch set updated for coreboot: a33e6f1 Exynos5420: Clean up console code