No.

Apart from technical differences in the kernel-driver interface, there
are legal issues.

GPL'd code can't be linked to the mostly BSD copyright kernel, because
else the GPL would force us to put the BSD code under GPL, which would
make us violate the University of California at Berkeley's licensing
conditions. 

GPL is designed that way.

	-is