exynos 4: updates to build