para cambiar la rom no te hace falta cambiar el kernel,al contrario,primero cambia la rom y despues elije kernel,y si quieres mi modesta opinion te aconsejo que pruebes con las roms de cyanogen,yo ahora estoy con la 10 y estoy la mar de contento,pero eso si,lo que te digo es bajo mi opinion,la mejor rom que te vaya a ti solo lo puedes saber tu probando diferentes roms,no se si es esto lo que querias saber