[coreboot] Patch merged into coreboot/master: 4c2aafe exynos: de-duplicate UART header content