[coreboot-gerrit] Patch merged into coreboot/master: 062c17b Exynos: Only compile UART in if serial console is selected