Sure, but when I was a kernel dev I considered it a reasonable line: it's not that hard to create your own kernel if you want a different licence.

It was one reason I worked on the kernel: that all your software should be hackable. I probably would have found something else to do if the licence were different.