So I just got a 3DS with Mario Kart 7 on it, and it asked me to update, which I did.
The system came with a "R4i NDSi LL" R4 clone, and it's working quite well at the moment after updating its TTMenu.
However, the guy who sold me the system told me that it is very dangerous to update as the card...