Chrome OS and Android may be top desktop Linux distros in 2014