Acho que a melhor forma de formatar o sistema é pegar num live cd do Linux, que se pode encontrar gratuitamente espalhado pela net. Grande parte das exapnsões do Linux têm uma ferramentezinha muito simples que formata o disco rapidamente e até para o sistema de ficheiros do Windows...
Cumps