En el primer post tambien se puede poner un enlace a la aplicacion Trickster mod que con eso puedes configurar los kernels, asi estara mas completo.
https://play.google.com/store/apps/d...0.trickstermod
Que por cierto hay 2 versiones esta que es la gratis y una version DONATE que es la de pago, pero con la gratis en principio tienes suficiente.