Kernel source for MSM8930 Samsung devices