I believe this doesn't apply to the Linux kernel. I mean there is a lot of products that include a Linux kernel and runs proprietary code on top.
I'm not really certain about the legalities, but IIRC it has to do with Linux being licensed under GPLv2 instead of GPLv3(?)