temasek en sus roms siempre pone el kernel que lleva cyanogen de serie, siempre tendras que poner su kernel por separado
El motivo es que se supone que el kernel de cyanogen debe dar menos problemas, aunque ya vemos que los kernel de temasek son muy estables, ningun problema y un rendimiento expectacular.
Es una decisión del desarrollador