Kernel lockup with (debian) 4.16.0-2-rt-amd64

[Jason A. Donenfeld]

Hi again,

Would you try out https://א.cc/yFB763cY and tell me if that fixes the
problem for you? I'm not convinced that's a good solution for it, but
it would be useful to know if this at least works.

Jason