Generating code costs a lot of money, as does the expertise to review the code. People aren’t going to want to spend the many millions of dollars to do that when they could use a GPL kernel. Of course if the kernel is not only free, but basically public domain, it solves all of their problems. They can modify it and keep those modifications closed source, the complete antithesis of what the GPL stands for.