CyanogenMod 10.1 con Kernel

[igomadrid]

Hola, tengo un s3 mini y me gustaria saber que kernel debo instalar en mi dispositivo con cyanogen mod 10.1 espero vuestras respuestas.

[theoes]

Q yo sepa el que trae es el único, pero en xda hay unos kernels, que depende si la cm es de Oliver o de maclaw tienes que elegir uno u otro.