Kernel source for Galaxy SIII Mini