Compliance with a published API doens't mean it's a derived work.

While it obviously can't be distributed with the mainline kernel due to licencing issues, it can be distributed standalone to work with Linux, or any other hypothetical system that provided the same API.