Tool to format SD card in a “safe” way