Kernel for Samsung's MSM7x30 devices