Experimental Exynos 4 3.5.x kernel