Marcos, Can you send me the replacement sys file as well? I'm experiencing a similar BSOD on Windows 7 x64 clients with NOD32 installed.
Separate names with a comma.