Systempartition formatieren und neu aufsetzen.
Das halte ich auch für die beste Idee. Bei der Gelegenheit könnte man dann auch gleich mal überprüfen, ob der Tastaturtreiber auch was vom Virus abbekommen hat oder ob die Shift-Taste einfach nur klemmt.