> So the only fix is for debian to get to kernel 4.19.55. > Until then.. I guess no steam for me and many other users. I, you can get an old kernel from http://snapshot.debian.org/