Consiglio ROM per novizio...

Salve a tutti ragazzi! Ho il Galaxy Nexus dalla fine di maggio e finora (anche se ho fatto root e unlock) ho usato sempre e solo la ROM stock... Dato che con l'ultimo aggiornamento il telefono mi si è incasinato un po' e che la 4.2 sembra ancora piuttosto lontana, dovendo fare un reset del telefono mi sono deciso a provare una custom rom... Per installarla volevo seguire questa guida (ho solo un piccolo dubbio sul backup della cartella FES che ho chiesto nel thread della guida)...
Il mio dubbio è il seguente: secondo voi quale accoppiata ROM+Kernel dovrei installare? Cosa mi consigliate di provare? Poi avrei anche un altro dubbio: come installo un kernel?

:)