Server market revenue declines 6.7% year over year