https://bugs.freedesktop.org/show_bug.cgi?id=76501
--- Comment #12 from Ortwin Glück odi@odi.ch --- 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.