Mixed fortunes for servers: shipments down, revenue up