The PC market has been pretty gloomy of late, but global shipments went up by at least 1.5 percent after two down quarters, according to Gartner and IDC. Lenovo led the pack with a 25 percent share, followed by HP and Dell with 22.2 and 16.9 percent,