to be fair writing windows kernel drivers is a lot harder than what we have on linux, maybe it's just some weird bug