Then you could argue that any embedded device that runs the Linux kernel is not Linux because it doesn't use the GNU userland. I think its splitting hairs, anything that runs the Linux kernel is by definition, Linux. You can replace the GNU userland with anything you want, it doesn't suddenly make it a completely new operating system.