Common kernel for Exynos 4 devices edited for Ubuntu Touch