Gracias por el consejo, ya leí el hilo, pero no me queda claro, si es lo mismo cm9 que cm9 nightly, y aún más ICS. Baje el zip del semaphore 1.3.0, pero estoy a la espera de un comentario un poco más explicado, a ver si hay alguien que ya lo haya puesto y sus experiencias. Rastafary comenta que para el, rinde mejor el kernel Devil, pero sus comentarios son de grandes. Espero me comprendas y me puedas ayudar.
Voy a poner otro tema porque me surgió que al utilizar el navegador de la nightly, este, no se lleva bien con el teclado y empieza a loquear, y aun más si se configura el navegador.