Hola, una cosa un poco fuera de contexto, resulta que instale el kernel "f4ktion" pero el móvil se me quedo semi-brickeado y tuve que reinstalar desde 0 la rom. ¿Hay algún otro kernel que no sea el oficial que funcione correctamente? la razón por la que quiero cambiarlo es para instalar el GL Tools ya que en los S4 no suele funcionar (como es mi caso) y leí por ahí que con un kernel no oficial si que funciona. Si alguien tiene otra solución para que funcione sin cambiar de kernel mejor todavía XD.
Gracias