Salut,
Normalement tu as l'adresse internet sur la boite. Il faut mettre les fichiers du site internet de ton R4i.
Je rdonne le lien ou on peut trouver pas mal de kernel->
http://www.linfoxdomain.com/nintendo/ds/
Si les fichiers y sont pas il faut aller sur le site de ton linker.
Et pour rappel:
Firmware c'est amettre à jour quand on fait une update de la DSi ou 3DS
Kernel c'est l'OS et on le met à jour pour le support des derniers jeux ou fonctions supplémentaires en général.
A+