Trinity vs Franvo vs Lean

ho un Galaxy Nexus con tutto stock alla versione 4.2.1 ho aspettato per un po' che Google aggiornasse e risolvesse i problemi dell'ultima versione di Android, ma non soddisfatto di quest'ultima ho deciso di ritornare alla 4.1.2 che a mio parere era davvero stupenda!
già che ci sono voglio montare rom e kernel moddati, il problema è che non so quale sceliere... per ora voglio partire col scegliere il kernel e dopo un po' sono rimasto indeciso tra questi 3:
-TNP1536-384-JB-4.1.2-STABLE67
-franco.Kernel-r300-384GPU
-Leankernel v.4.6.0

qual'è la migliore? nella lean kernel che differenza c'è tra la versione 180 e 230???
grazie in anticipo per tutte le risposte :)