[coreboot-gerrit] Patch set updated for coreboot: 518b531 Exynos: Only compile UART in if serial console is selected