Kernel source for Samsung Galaxy SIII