https://bugs.winehq.org/show_bug.cgi?id=46155
--- Comment #4 from Zebediah Figura z.figura12@gmail.com --- (In reply to Anastasius Focht from comment #3)
Bug 45656 is certainly a different class than this one. This one is part of public userland API and actually being called by apps or compiler generated/injected code.
KeBugCheckEx() is part of public API too, if not userland per se:
https://docs.microsoft.com/en-us/windows-hardware/drivers/ddi/content/wdm/nf...
I guess as far as I see it, this is kind of pointless; we're just trading one failure for another. (Not that I have any intention of fighting it, mind you.)