Per ripristinare hai detto bene...

Per formattare, io faccio così: all'accensione entro nel BIOS (tenendo premuto Canc/Del), vado in Boot Device e metto il lettore DVD come 1° boot (1st boot), quindi inserisco il disco del sistema operativo che voglio installare, salvo le impostazioni del BIOS e riavvio.

Mi ritrovo la schermata "stile DOS azzurro " del disco d'installazione del sistema operativo, e seguo la procedura, che mi informerà dell'esistenza di un altro sistema operativo nella partizione di destinazione selezionata, e che il proseguimento dell'operazione comporterà la formattazione del disco. Ovviamente devi dare OK se è tua intenzione sostituire il sistema operativo residente con un altro di cui possiedi il disco di installazione.

In alternativa, se tu avessi una partizione separata, con un altro sistema operativo, potresti ordinare da lì la formattazione dell'altra partizione e poi procedere con l'installazione da CD.