If that were the only consideration, the kernel could be placed into the public domain.