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.
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.
If you want to be pedantic, nor was the linux kernel.