Reformatter par le BIOS ?

Bonjour, je vous explique le problème.
J'ai un ami qui a chopper un virus apparemment puisque sa seule et unique session est a présent doté d'un mot de passe.
On a voulu relancer en mode sans echec, car je sais comment virer les mot de passe, mais surprise, le mode sans échec demande lui aussi le mot de passe (administrateur apparemment.)
En gros, vraiment vraiment impossible de rentrer dans le pc.
Du coup, impossible de passer par le poste de travail pour formater le disque non plus.
Ma question est : peut on le faire par le BIOS, le seul truc qui m'es encore accessible ?

ps : pour les mots de passe admin, et pour des raisons longue a expliquer, on a pas le temps d'essayer de graver un utilitaire sur un cd pour jarter les mot de passe.
Merci.