I'd bet even more Linux usage is ChromeOS which even more barely counts, and certainly both are dwarfed by Android which simply doesn't count.