Yo lo que hice fue lo siguiente:
Primero instale el kernel dualboot en la ROM que llevo(AOKP). Despues pasé el programa al archivo "Saucy-preinstalled-armel+maguro". Reinicié en modo recovery, hice un wipe cache e instale primero "Saucy-preinstalled-armel+maguro" y despues "Saucy-preinstalled-phablet-armhf". Por ultimo flasheé el kernel dualboot de nuevo.
Creo que esos son los pasos correctos lo que no se es porque me funcionó
