Pour le flasher c'est par les contacts a coté du CPLD marqué :
TMS TCK TDI TDO
c'est pas anodin
sans demonter je ne suis pas convaincu
a mon avis pas de mise a jours
Par contre le linker est peut etre SDHC mais pas l'OS (j'y croie pas, mais on ne sais jamais)