OK to closing.

The other problem has resolved itself, by the way. For convenience I had always
booted these kernels via kexec, which was the reason for the GPU lockup. After
a normal warm boot the problem went away.