Issues with how the GNU GPL is used for Linux (the kernel)