[coreboot] New patch to review for coreboot: 835de6b libpayload: add support for the exynos5 UART