Well, ntoskrnl.exe can get corrupted.

I believe that the event 1001 is just Windows producing a dump?

Check out Google for intructions on how to reload ntoskrnl.exe