Even if this were true, it would only mean that the GNU license is *unenforceable*, not that the Linux kernel itself is infringing copyright