On Wednesday, 12 April 2017 19:55:12 CEST Jochen Spieker wrote: > I'd write a bug report. Your e-mail is a pretty good start. To Debian BTS? Related to the kernel package? I have no clues as to what component might be actually involved. Thanks, Davide