Kernel source code for Samsung Galaxy SIII Mini