So: Update.
Mit Rickys Link einen bootfähigen USB-Stick erstellt, Flash und BIOS von der Herstellerseite mit auf den Stick gepackt, angeschlossen, angeschalten, Flashtool mit angegebenen Parametern gestartet, BIOS hat sich ohne Fehler neu aufgespielt, Stick rausgezogen, neugestartet, Windows ist ohne Probleme hochgefahren, Bundestrojaner hat dann alles geblockt, also Neustart, Abgesicherter Modus mit Eingabeaufforderung, alle verdächtig klingenden Programme aus dem Autostart geworfen, neugestartet, alles wunderbar.
An’s Firmennetz wollte ich den verseuchten Rechner dann aber zum updaten vom Virusprogramm dann aber nicht hängen, das darf der Kollege dann zu Hause machen.
Vielen Dank an alle für die Tipps und Ratschläge!