Ripristino del solo stock kernel

Sono di nuovo qui a chiedervi aiuto D: ...Ho da poco comprato il Gnexus e mi ci trovo davvero bene, solo che leggendo un po' nel forum mi è venuta l'idea di cambiare solo il kernel, visto che con la stock rom 4.2.1 mi trovo bene (Volevo che la batteria durasse un po' di più) ..Ho flashato il trinity kernel e sulla rom stock ogni tanto mi si impalla o si riavvia (Cosa che alle volte faceva anche quando era del tutto stock) ..Comunque vorrei tornare al kernel ufficiale ma non so dove trovarlo (non voglio flashare tutto, solo il kernel, ecco perchè non ho usato la factory img.) ..C'è un modo per farlo? Dove posso trovare il kernel in formato .zip da flashare? ...Io ho eseguito comunque un backup del kernel originale da trickster mod ma me lo ha salvato in .img e non in zip.. Grazie per la pazienza rotfl