rktool solo markando kernel....tendras que meter el archivo en la carpeta qe tenga el kernel...renombrar este pa no perderlo y renombrar como kernel.img el kernel que le vallas a meter.
Mejor prueba con esto....es de los bq...pero sirve pa lo nuestro, marca el kernel y busca el archivo que quieras subir como kernel.
https://docs.google.com/file/d/0B_99...it?usp=sharing