[Bug 59792] Sentinel HASP 'hardlock.sys' kernel driver fails to load, because of segfault in IsBadReadPtr.