Gartner joins IDC in revising down PC sales forecast