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