GPLに名称変更の制限は無いでしょ。 派生品に新たに名付けるのは自由だし、カーネルに変更が加わってるならむしろ新OS名乗るべきだと思う。

知らんけど、gcc使わなきゃいいとかそういう話じゃねえの。オープンされてるソースから、主要な機能だけ引っ張って同等のものを作ったから「Linuxベース」とかそういう話なのかも。