Common kernel for Exynos4210 devices