If you have kernel32.dll, you don't have a virus but you'll still need to fix the file. Check with your tech support for help.
m.wikihow.com