Exynos 5 kernel for Galaxy s4