Kernel for Samsung's MSM7X30 devices