[coreboot] Patch set updated for coreboot: 2517610 WIP: add UART support in bootblock for exynos5250