[CaliforniaKarl]

You'd want a reverse-engineering lawyer, so be certain. But my (IANAL) guess is: If this is a proper reverse-engineered implementation, you could then convert _this_ implementation to C, and contribute _that_ into the kernel.

Except, it seems this is BSD-licensed, so I'm not sure how that would work in the kernel (which is GPLv2).

[loeg]

BSDL code is fine in the GPLv2 kernel. E.g., most of the DRM drivers are dual BSD-GPL licensed.

[lunixbochs]

BSD is a subset of GPL's restrictions, so you can include BSD-licensed code in a GPL work.

[loeg]

Subset isn't quite accurate, but "GPL compatible" might be a good way to describe it.