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

[Jason A. Donenfeld]

Hi Paul,

Thanks for the useful bug report. I'll have a fix for it soon.

Thanks, also, for bringing Debian's rt kernel to my attention. Seems
like this might be a good testing platform.

Jason