> The argument that any module is a derived work of the kernel (at the very 
> least when the module has been developed specifically for the Linux kernel) 
> still hasn't been disproved, so this is a grey area as well. The argument is 
> certainly political, but I don't see why it wouldn't be legal as well.
> 
> I do agree that EXPORT_SYMBOL_GPL is useful though, as it makes the intent of 
> the developer clear. As a mean of telling whether an interface is internal or 
> not, however, I hae my doubts.

I fully agree.