Tiens ben j'aurais une question pour éclaircir ce sujet...tu peux nous donner la ligne de commande du bootloader ?
UBoot, lorsqu'il démarre la machine, passe quelques paramètres au noyau linux, à destination des drivers. Parmis ces paramètres il y a notamment le modèle de machine.
Il faut en effet savoir que les drivers sont identiques pour tous les itgate, mais s'adaptent au modèle réellement présent.
Avant, sur un TGS200, on avait deux devices pour deux lecteurs de carte, alors qu'un seul existe...par ailleurs, sur TGS100, les lecteurs ont été à plusieurs reprises inversés "logiquement" (le 1 devenant le 0, le 0 devenant le 1)....enfin bref...
Si ça tombe, tu as une mauvaise ligne de commande au niveau kernel et les drivers n'activent pas le second lecteur....as-tu flashé le UBOOT fourni avec l'image ?