Sur ta boite il est écrit 1.4 parce qu'il est compatible avec les Dsi 1.4
Pour le kernel ce n'est pas ça du tout!
ici ->
R4i SDHC Revolution for NDSi/NDSL/NDS
C'est soit 1.09b soit 1.13b...
Donc quel kernel as-tu téléchargé sur ton disque dur et transféré sur ta microSD?