https://bugs.freedesktop.org/show_bug.cgi?id=86883 Not sure if kernel bugzilla wouldn't have been the better address, given that the BUG_ON clearly is in kernel code. But I guess it's the same developers anyway. Regards, Erich