[coreboot] New patch to review for coreboot: f6a7e6a exynos: de-duplicate UART header content