Does the 3DS support ExFat now? Last I tried it didn't.
Use exFAT on the 128GB microSD card in the Gateway, and FAT32 on the 3DS's 64GB internal SD card.
He'll have to use a custom utility to format it then, because Windows usually refuses to format anything bigger than 32GB as FAT32.