Yo acabo de hacerlo, entras en MAGDLR, en el AD Recovery y en install zip from sdcard, eliges el kernel que previamente habías pasado a la tarjeta y listo.
No se si es la manera más correcta, pero es la que acabo de usar para instalar en nuevo Kernel y todo ha ido bien
Saludos!
