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