Config is based on the one from postmarketos-exynos4 and Hardkernel's config for exynos5422-odroid-xu4.