Hey Judy,

Not to butt in, but you guys ought to make sure this particular baddie is not still lurking on the machine:
S3 noskrnl.sys;noskrnl.sys;\??\C:\WINDOWS\system32\noskrnl.sys

I really didn't give the first ComboFix log more than a cursory glance, but this jumped out because we have seen it before with rootkit type stealthed baddies.

Happy Weekend!
PP