hai provato a sostituire il file NTOSKRNL.EXE ?