d710: switch to exynos4 common kernel