Si, pero sinceramente, he probado todos los kernels con CM y con la de elitemovil y me tragan prácticamente lo mismo, apenas noto la diferencia entre unos y otros... Y en el Semaphore, aunque tenga el Deep Idle, a mi no me funciona, y lo configuro bien.
Además, con la que más rendimiento/duración he tenido ha sido con este kernel en CM...
Claro que es mi opinión, que puede diferir de la vuestra perfectamente