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