This bug may have been antiquated already. I just wanted to mention this here for completeness. On that particular machine the bug was reproducible.
If I recall right this was a VirtualBox VM on Windows, where I enabled USB3 passthrough of a USB ethernet dongle, I think a RTL8153 gigabit USB NIC. The kernel crash appeared when disconnecting the USB NIC. https://ctrlv.cz/5uyw
