Comment by doubt_me

If you already formatted your laptop those viruses should be gone but if you think you have a rootkit

Scan with this tool called kaspersky anti rootkit TDSSKiller

http://support.kaspersky.com/us/5350#block1

If you find something delete it.

But just to be extra safe re flash your bios/ update it and then scan afterwards to see if anything pops up.