Kernel for S5830i pure based on Samsung stock kernel.