Los pasos para meter cualquier otro kernel son los mismos; bajamos el kernel, entramos en modo Fastboot, tecleamos el comando fastboot flash boot nombredekernel.img y listo. Me gustaría que me indicases cómo puedo explicar mejor los pasos que no están claros
