Amazon.com reported in an SEC filing that they’re saving a boatload of cash by using Linux.