Pues lo de cambiar el kernel es muy facil con el FlashTool, lo inicias, y si conectas el tfno al pc en modo fastboot (Con la tecla Menu pulsada) saldra escrito en la ventana del programa.
Entonces le das al icono del rayo y seleccionas Fastboot mode y das OK y en la siguiente ventana que te sale haces clic en la del medio de la columna de la derecha (Select kernel to flash) te saldra una ventana y te vas a donde tengas el kernel que quieres poner y en 3 segundos lo tienes.
