Hi wb,
I am using vanilla, unmodified, untainted linux 3.19.5 pulled and built from git at https://git.kernel.org/ and the linux kernel module that it contains.
If the relevant kernel developers are not present here I'll take my report to the linux kernel mailing list instead. Please advise.
Andrew