Asi es necesitas el kernel correspondiente a esa version, primero tienes que dejar tu cel Stock despues pónes el CWM o Xrecovery y flasheas el kernel que es este U20_nAa-jb-03_2.6.29.6-nAa-jb-03 despues ya sabes pasas la rom a la sdcard flasheas y listo....yo lo hice hace dias y va de 10 solo que si consume algo de bateria de lo demas todo 10.

PD: Aca encuentras todo lo que necesitas hacer espero haberte ayudado...[ROM] MiniCM10-4.0.2 [RELEASED] [23/11/12]JB 4.1.2/CM10 for the §10 mini pro - xda-developers