Quote Originally Posted by pingufunkybeat View Post
So far so good...

But as soon as they distribute a combination linking the GPL-ed Linux kernel together with their closed module, they are in violation of the GPL.
Exactly. They wrote a Linux kernel module and are distributing a Linux kernel with said module. It doesn't matter where the copyright resides, the module became GPL-licensed when they distributed a Linux-derived work.