Desktop graphics card shipments hit four-year high of 12.5 million, Tom's Hardware reports · Digg