ntdll:info win32k.sys is sometimes loaded at 0x00000000