Kernel for Samsung MSM7X30 devices