Clean up the Exynos5422 device tree include file