Ayuda ocupo que me recomiendes un kernel bueno

[josuexmax]

Tengo un samsung galaxy mini gt-s5570 tiene una rom cocinada que es la rom jelly bean 4.1.2 y tambien tengo otra rom que es la 2.3.7 ocupo que me recomienden el mejor kernel que haya para cada una
- Gracias y saludos :D