I have reported the bug upstream and it is being investigated. A patch working around the issue is already available there:
https://bugzilla.kernel.org/show_bug.cgi?id=43020 -- Jean Delvare -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
