Ce qu'il faudrait, c'est récupèrer le kernel qui est sur ta microSD actuellement,
le mettre dans un zip et l'héberger sur megaupload par exemple...

Comme-ça, on pourrait voir ce que tu utilises actuellement

Apparemment c'est aussi ça le site officiel

Welcom R4SDHC.COM -Revolution for NDSi/NDSL/NDS

Et ça correspond à ton 1.34

Donc ce que tu peux faire, c'est prendre le pack du DSTT 1.17a12,
facile à trouver dans ce forum si tu ouvres un tout petit peu les yeux

Tu copies sur ta microSD TTMENU.dat et le dossier TTMENU
Tu fais un doublon de TTMENU.DAT en le renommant TTMENU.NDS

Et tu le lances comme un jeu, quand tu seras dans le menu de ton R4...