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.