Extrapolated data aside, Linux is already the dominant OS (really, family of operating systems, since Debian, RHEL, etc. are separate operating systems) for servers. Additionally, the majority of smartphones run Android, which uses the Linux kernel. And yes, everyone knows, it's as much of a Linux distribution as iOS is based on BSD, but still.