Kernel for Samsung's exynos5420