O SDFormatter é frequentemente recomendado para formatar o SDCard.
https://raspberrypi.stackexchange.com/a/19928/39410
http://elinux.org/RPi_Easy_SD_Card_Setup#Using_NOOBS
Nunca ouvi falar desse software antes de usar o Raspberry Pi.
É essencial formatar seu SDCard com este software antes de usar o Pi? E se o SDCard for novo? Existem alternativas que podem ser usadas se você tiver problemas com isso?
Posso usar apenas as ferramentas integradas do Windows ou algum outro software livre?
por exemplo, http://alternativeto.net/software/easeus-partition-manager-home-edition/?license=free