In realtà il kernel in se' non fa tanta differenza,almeno per quanto riguarda la mia esperienza mentre poter agire sui suoi parametri da' effettivi vantaggi (undervolt,frequenza abbassata quando hai lo schermo spento,underclock ed altri settaggi).
Tra l'altro Il mio "record" personale sul Nexus4 è stato di 4.48 ore di schermo alle condizioni che ti ho descritto nel post precedente con kernel stock e la precedente build della SlimBean.
qualunque sia la tua scelta finale,buon acquisto