A recent 10-K filing has highlighted significant reductions in Dell's workforce over the last 2 years, to the sum of 25,000 employees globally.