The big problem is, that I don't expect that there will be a new driver (and there will be one, it probably still has that error) and of course I don't have it's sources.
Disabling Hyper Threading is also a quite bad solution.
And I am dependend on that USB-device, I need it to connect to the internet.
I would not mind against a patch for the KMD - the worst thing that could happen is a BSOD
I just don't know, how to patch it