perso je ne l ai jamais fait.... réinitialiser mon bios pour formater je veux dire ^^ et je n ai jamais eu de problème.
Sinon il y a une option dans le Bios pour remettre tous les parametres par défaut, elle se trouve dans le menu principal, impossible à ratter.
Sinon enlever la pile oui, quelques secondes et tu la remets, faudra juste à penser à mettre la bonne date et la bonne heure après