[Bug 57940] ntoskrnl.exe tests can trigger BSOD