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