Will Android lose market share to other versions of mobile Linux?