Yo sin duda prefiero siya kernel.
Desde que samsung libero el source de ICS he testeado a fondo el Comportamiento de este maravilloso kernel en AOSP,AOKP,CM9 y SAMMY y su rapida evolucion y resultados sin duda (mejorables poco a poco y con configuracion personalizada de por medio) seguire utilizandolo sin suda alguna.
Si esto le da animos alguno a probarlo no lo dudeis y comentar para poder dar soluciones a los demas usuarios de estos dos kernels.