Barrapunto

en su petición dejaba claro que al sistema se le llama por el nombre del kernel, [...] y que de todas formas Linux debía ser llamado GNU/Linux

Si te comes cachos de la conversación es fácil defender tus tésis de que es confuso, si pones el contexto esa confusión desaparece, no te jode. Tranquilo que si alguna vez en una conversación tengo algún problema de comprensión por decir Linux en vez de GNU/Linux me plantearé que tal vez valga la pena el cambio de nombre, pero como de momento nunca me ha pasado en todos los años que llevo usando Linux pues...

Usa "el kernel de linux" y "linux". Fácil y sencillo :-D