I think "Android" should be sufficient here. E.g. Google Maps produces "Android Varies with device"