Will the Patriot Signature 32 GB Class 10 MicroSDHC Flash Memory Card PSF32GMCSDHC10 work with the R4i Gold 3DS (r4ids.cn)? Does anyone have any personal experience with this memory card?