Of course, sorry about that.
I don't use a flashcart, I copied the patched rom to the SD card, and run it with TWLMenu++.
Quick update while I'm here : I've been patching MKDS with other hacks since opening this thread, and then I went back to Mario Kart Zero. I managed to play the levels, but...