"Yes, as Linus points out, this is the main point here, my
apologies. GPL covers distribution, not usage, no matter how much
the people working on v3 want to change that :)
"Even if we change the kernel this way, it prevents valid and
legal usages of the kernel. So I am wrong, sorry..."