Updated Linux kernel for Exynos chipsets