Yes, you can run a Linux kernel with a different user land. But we don't call the result Linux - we call it Android, or ChromeOS, etc. So your comment is an arg

Yes, you can run a Linux kernel with a different user land. But we don't call the result Linux - we call it Android, or ChromeOS, etc. So your comment is an argument against referring to GNU / Linux as just Linux.