It appears that the kernel-level code is shipped as source to be built, automatically by dkms, by the end user. Check out the list of binaries on the bottom left of that page.<p>This means that no binary kernel modules are shipped, just the cli tools.