x86 processors still dominate the server market