If you are having trouble, I would recommend that you pick an unused card of below 1G, and DO NOT FORMAT it.
The trouble is that if you format it, it's hard to know what is being written to it.
Note also that if you have a Windows computer, you can also update it over a serial interface.
