[coreboot-gerrit] Patch set updated for coreboot: 1a12f82 exynos5420: Configure the UART pins unconditionally