Il ne faut pas confondre "Kernel" ce que tu mets sur ta microSD à partir du "M3i Upgrade" et un firmware qui te permettrait de t'en servir sur une DSi en 1.4

Malheureusement, ces R4i-SDHC ne peuvent pas être flashé,
voilà pourquoi aucun firmware existe pour faire cela...

Peut-être qu'un jour, mais eux, en tout cas, ils en ont clairement rien à fouttre!