I know that this is how it was reported everywhere including here, but I recently learned that it's apparently false. The US just bought shares. From https://www.reuters.com/business/us-take-10-equity-stake-int...:
> Under the agreement, the U.S. will purchase a 9.9% stake in Intel for $8.9 billion, or $20.47 per share, which represents a discount of about $4 from Intel's closing share price of $24.80 on Friday.
So they bought a 9.9% stake at a slight discount. (And just have to go back a couple of weeks to find Intel's stock price at under $20.47 per share, so I'm not sure you can really call it a real "discount").