Uppåt för pc-marknaden enligt IDC – nedåt säger Gartner