Ahí va mi opinión, que seguramente esté mal:
- CM9 está basada en Android 4.0.x, tenemos ROM oficial de Samsung con esa versión de Android... algo se podrá apañar.
- CM10.1 está basada en Android 4.2, NO tenemos nada oficial...
Enredando un poco por ahí he visto que no tenemos CM10, es eso cierto?