hola muy buenas, he podido leer que este kernel se porta muy bien con la bateria, asi que me he interesado y como sigo usando 4.2 con PACMAN pues me gustaria saber que version es la mejor para 4.2 y cual de los 4 archivos con diferentes nombres tengo que meterle

eso no lo he encontrado!! y como si pongo uno que no es me entra en bootloop pues mejor no arriesgar jeje
Muchas gracias!