The SD Association has an official SD card format utility [Win/OS X/Linux]