I just was notified that I should make the kernel headers available as well, so people can build other modules.

Here they are.

Crap. Was also asked to provide the source.

Here’s the source.

Yet another edit: was asked to provide the actual patch.

Here is the patch.