En el Antutu tengo 6709, y el otro no le usado nunca, si le cambias el kernel recuerda siempre wipe a cahe y dalvik cache, y para poner el que tienes ahora mismo, tienes que hacer lo mismo flashear el kernel, que si no mal recuerdo trae el de faux. Lo descargas de XDA.
O si no nandroid, antes de cambiar de kernel.