@lightweight @conservancy I'm familiar with the argument, just not the nuances.
Non-GPL Linux modules exist and one would expect them to be in a similar situation, yet the kernel has express technical functionality to support them - maybe look for the existing legal debates about that?