When you go to format an SD card for use with the GP2x, should it be Fat 32 or Fat? Those are the two options widowns is giving me.