Linux 3.4 kernel for Exynos 4 devices based on Insignal sources