Gartner: Linux geen vervanger van Windows op desktop