if I just have a new 3ds XL / LL but no SD card with it when purchasing a pre-owned one , and then I put a blank fat32 formatted "san disk" 64 GB micro SD card in the new 3ds XL /LL and boot it, then the unique Nintendo 3ds file will be created automatically inside the SD card , is that right ??