@Unn0wn > I think this also allows non-GPL kernel like BSDs to use GPL Linux drivers without being GPL themselves.
No, that is not the case.
You can have non-free software modules that can be used in Linux, but they need to be declared specially.
A separate kernel, would not be using the linking exception, and would need to be licensed under compatible terms.