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