Si, para flashear la kernel, tienes que utilizar fastboot. Tienes que instalar SDK de google, y luego crear una carpeta llamada "fastboot" y escribir comandos en cmd.
Quiero hacer un tuto, pero ya digo que hasta que no termine exámenes, no puedo ponerme a ello, así que, si quieres, mírate en otro sitio cómo instalar SDK, y una vez que lo tengas todo instalado y la carpeta de "fastboot" creada, te digo cómo flashear una kernel.