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