Comment 5 for bug 253831

I also don't see why providing the module would be a problem anyway. It's open source and as long as the kernel changes are not breaking the build of that module it should always be delivered with the new kernel.