[coreboot-gerrit] Patch set updated for coreboot: 8b4d5a1 soc/samsung/exynos5420/uart.c: Implement 'uart_tx_flush()'