“The U.S. government took a 10% stake in Intel in the previous year.”