Including phones would be significant. But in my (probably deranged) head android/linux is a different os from GNU/linux. The overlap of the kernel itself is not enough. In that case all switches/routers/storage appliances/toasters/washing machines/fridges/iot sensors often also run linux.