I wish I had your luck. I formatted my sd card with the sd formatter, stuck on the 1.8.5 loaders et al, and Mario Kart multiplayer did not work (specifically the download play, I didn't try anything else). I went back, formatted it AGAIN, put the 1.8.5 loaders et al on it, copied over the 1.8.5a...