Branden Robinson wrote:
Mr. Belmonte, you may want to take your concern directly to the linux-kernel mailing list, as Mr. Xu is likely, given his past behavior, to blockade any efforts to resolve this in Debian's kernel.
I've filed a kernel bug, see <http://bugzilla.kernel.org/show_bug.cgi?id=2791>.