Exynos4: Going open source