[coreboot] Patch set updated for coreboot: 1310fe8 cleanup some exynos5250 uart code