How relevant is the issue in practice though? It doesn't seem too likely that people are going to want to provide commercial forks of the whole project including the inux kernel. And it's pretty likely they could package their changes to the CoreOS code together with a stock kernel.

The claim on the site is that "Code produced by the CoreOS team is licensed under the Apache 2.0 license. " - Which seems reasonable enough.