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