Kbuild: Export additional Exynos headers