I wonder what they're thinking. At least with nVidia there's a plausible sounding defense that goes like "hey, we just wrote a shim to load this platform independent code we already had lying around, so our platform independent code can stay proprietary because it's not a derived work of Linux". I don't think this position is correct, but I can see that it at least requires a court case to adjudicate.
But in VMWare's case, it appears that they took the Linux kernel and modified it to make their own vmkernel. I can't see how you make an argument (that their vmkernel is not a derived work of Linux) that takes more than ten seconds to soundly defeat.
Thus, one could write kernel drivers, which (it was argued) are not derivative works under copyright, and be safe as long as the kernel is not redistributed by the same entity.
"that is to say, a work containing the Program or a portion of it, either verbatim or with modifications and/or translated into another language"
I'm not entirely sure what to do with this.
There is however a big caveat whenever you try to "hack" around law. If the author explicit state that "I do not wish X to happen to my work" and someone technically comply but in practice make so X happens anyway, then a judges ruling can go anywhere. See the Pirate Bay or the Aereo case where arguments for such "hacks" has been made.
LWN has some more detailed coverage, describing the proprietary vmkernel component that gets loaded into the kernel as a kernel module, and the specific files from the kernel that are included in this: http://lwn.net/SubscriberLink/635290/d7304b50a2ef15b0/
This is much deeper than simply a binary kernel module that uses the exported interfaces; it also appears to copy wholesale large parts of kernel internals, not just access the kernel via defined interfaces.