Hocam BIOS a bulaşabilen virüs türleri vardır evet ama oda çok ama çok nadir yani %0,1 ihtimal gibi bir şey. BIOS virüslerine denk gelmeniz için direkt bir hedef olmanız lazım potansiyel olarak.
Kısacası çok çok düşük ihtimalli bir şeyi de kafanıza takmanıza gerek yok. Formatınızı atın bilgisayarınız ter temiz olsun.