Per formattare un pc con elementary os e windows 10 in dual boot, mi basta cancellare la partizione con linux e reimpostare windows 10 o devo fare qualcosa su grub?