In StatCounter’s latest US numbers, which cover through October, Linux shows up as only 3.49%. But if you look closer, “unknown” accounts for 4.21%. Allow me to make an educated guess here: I suspect those unknown desktops are actually running Linux. What else could it be? FreeBSD? Unix? OS/2? Unlikely.
In addition, ChromeOS comes in at 3.67%, which strikes me as much too low. Leaving that aside, ChromeOS is a Linux variant. It just uses the Chrome web browser for its interface rather than KDE Plasma, Cinnamon, or another Linux desktop environment. Put all these together, and you get a Linux desktop market share of 11.37%. Now we’re talking.
I’m being a little facetious to highlight that your “operating systems distributing Linux Kernel, therefore they are Linux distributions” comment is a bit silly.
Yes technically Android and ChromeOS are Linux, but that’s not really what people mean when they say Linux. It’s not the Linux kernel specifically that they want, it’s usually the freedom and openness.