Gracias bolillaazulejo, he descargado tanto el 5128 como el 5136, renombrado a system y metido a pelo en la tarjeta, cuando la pongo en el dispositivo y arranco dice que no hay tarjeta.
Después he probado, dejando el archivo system, e instalando navcore, y lo mismo. No sé qué estoy haciendo mal. Disculpa por mi torpeza... :-|