Linux-Kernel Archive: Re: Dual-Licensing Linux Kernel with GPL V2 and GPL V3
▻http://lkml.iu.edu/hypermail/linux/kernel/0706.1/2214.html
"The kernel license covers the kernel. It does not cover boot loaders and hardware, and as far as I’m concerned, people who make their own hardware can design them any which way they want. Whether that means “booting only a specific kernel” or “sharks with lasers”, I don’t care."