This is the closest to stock Cyanogenmod exynos 4 kernel source.