[pjmlp]

Linux kernel by its nature was designed to be taken away, source code ripped off and massaged into anything with a CPU to run a custom modification of it.

There are lots of stuff running a "Linux kernel" that have little to no resemblance to a default build from upstream.

[prmoustache]

Yes but all this is not because it was designed for it. It wasn't. It is just the open nature of its license that made it possible as a consequence through external contributions.