Barrapunto

Bash no es necesario para usar linux. Puedes usar perfectamente una shell que no sea GNU. Aunque que usaras libc y Bash, hay un monton de proyectos de software libre tan importantes o más que libc que no son GNU, como por ejemplo Apache y Mozilla.

Pues que la pueden llamar como quieran cc/linux intel/linux o linux.

Pero mientras una de sus piezas basicas sea gnu, ¿que daño hace reconocerlo?

Supongo que las libc de intel seran lgpl o una licencia de ese estilo. En caso contrario, tendrian problemas con la gpl del nucleo.