El kernel seria oficial si fuera desarrollado por Samsung......
Nstools es una aplicacion que su emoticon es como una banderita de 4 colores separados por una X.
Y el tema de que kernels (oficial es mejor ) seria el 3.0.x de samsung el cual no veras , si no es por que algun desarrollador lo haga ( cosa que pasara dentro de poco si no esta pasando ya ) pero aun tardara por que hay que hacer muchos testeos , pero lo tendremos , como hemos tenido ICS Y MIUI para nuestro dispositivo , dicho esto
Tu prueba kernels y el que mas se aproxime a tus necesidades ese es el mejor ..