saludos.
es raro..., pero claro, cyanogeno las "toca" por toda su alma.. jajaja
vete a saber si lo que te pasa es simplemente que no te muestra la informacion correcta del kernel pero si lo tienes instalado..
saludos
PD: no me habia fijado que has dicho que tienes la de cryskelo..., entiendo que esa rom viene con un kernel de cyanogen..
aun asi si has flasheado el zimage del kernel speed mod con la APP del market CWR correctamente me sigue pareciendo raro que no te salga en "acerca del telefono" la info del kernel.