Lo que hay es una chincheta muy grande al principio del foro que se titula: 'indice de kernels'...
Siento la ironía... pero no hay ni que buscar, solo leerse los titulos de las chinchetas, que para algo se marcan como '
importante'
Si tu rom es sin sense, entonces en el hilo de la Rom, seguro que hay varios kernels recomendados, como instalarlos (como una rom, desde el recovery) y los link de descarga.