I'll be re-opening this in a short while while waiting for information
about which kernel version this bug has been fixed in. Without
knowing which kernel version has the fix this is really hard for me
to verify.

If this has not been fixed, feel free to just leave this bug open until it is.

Regards //Johan

To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org