Me he descargado el archivo este que comentas en tu enlace. Yo no soy entendido en esto, pero supuestamente ese kernel es el stock....y eso está bien para flashear el movil con una rom original, peeerooo....si tu quieres rootear el movil, creo que esa no es la kernel a utilizar, ya que ha de ser una insecure kernel.....
Alguien puede confirmar esto?...me parece importante.