U.S. government acquired a 10% stake in Intel using $11.1 billion