I tried the 4.11.0 kernel since I suspected that the buggy change might also be
present in the point releases, but that also caused a hang whenplaying Left 4
Dead 2. Will try older kernels and see if they work correctly (which they
should since this hang definitely wasn't present 2 months ago).