My sister was trying to play Mario & Sonic at the Beijing Olympics with a friend using Download Play. Surprise, surprise, it didn't work... I thought this must have just been her cart, being a TTDS, but it won't work on my R4 either. I have v1.13 of the kernel, but my sister has the latest TTDS one... Is this just a problem with the loader or what?