[coreboot-gerrit] New patch to review for coreboot: 08a9bab Exynos: Only compile UART in if serial console is selected