IDC: итоги второго квартала поставок серверов х86