Que tal la ultima estable de Cyanogen? ultima y primera de 4.2
ami me funciona muy bien y eso que no he cambiado el kernel, y de batería perfecto, si no lo usas es un mechero. Tiene estabilidad y fluidez, con el kernel Ak seguro que vuela, te lo recomiendo si quieres fluidez y no lo as probado, ami siempre me arregla las roms lentas. No tiene muchos añadidos y poca personalización (comparado con otras)
Y si no te convence, mírate la Slim de Klander, que aunque tenga modificaciones, es de las mas rápidas junto con el Ak kernel, o la Carbon, hace unos meses era la mejor de calle, aunque dicen que no es lo que era.
Creo que solo Carbon es AOSP, pero no te cierres por malas experiencias, que ami tambien me paso
D