Creo que ya lo tengo recuperado, ha sido más tedioso de lo esperado.
Efectivamente la carpeta que yo necesitaba se llamaba cloudsb y no he encontrado nada "online" a fecha de hoy
.
Que es lo que he hecho? He cogido la carpeta del boot xpeedix y la he renombrado a cloudsb y tras hacer esto pues el deco se ha ido a la mierda literalmente.
Suerte que tenía un jtag crypress y le he metido el bootloader.
Después he ido al post de firm para placas qking y p090 y me he bajado en este caso openpli 4.0 ( así se entretiene mi padre ya que se lo cargo por jugar modificando cosas al aburrirse con blackhole).
Y parece que todo solucionado, me falta conectarlo a la tele para configurarlo solo, pero en el display aparece HDMI, así que debe de estar.
Una pregunta, el boot que llenan las imágenes del post, lo suben a 751mhz el deco?
Gracias.