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

SD Memory Card Formatter for Linux