Respondo a mis consultas por si alguien le sirve de ayuda.
El kernel que yo he usado para recuperar mi deco ko con kernel 3.3.1 ha sido este:
https://dl.dropboxusercontent.com/u/5636303/backup_kernel_344.zip
Hay que seguir el manual que hay en el post1 y cuando tienes que meter por FTP los archivos, en vez de meter backup_kernel se mete backup_kernel_344
Y cuando se ha de instalar es : ./update backup_kernel_344
Yo así lo he revivido. No se si es el archivo correcto; pero es el que yo he usado en mi Elite HD y me ha funcionado.
También he de decir que el proceso de recuperación lo he hecho usando Linux Mint, por lo que si alguien está interesado puedo hacer un pequeño tuto.
Gracias a todos por vuestra información.