Did a fear of Linux spark Microsoft's investment in Dell?