bueno, creo que después de haber leído las cosas que han mejorado y demás, es probable que CM10 entre en mi dispositivo con el kernel semaphore. Aunque antes unas preguntas:
¿Las fotos de los contactos, se ven ya en alta definición (una vez sincronizado el dispositivo)?
¿En fluidez como se compara con CM9 estable?
¿Los problemas de pérdida de IMEI se tratan de cosa general, o casos aislados?
¿Hay algo que no funcione, o funcione peor que en CM9?