The most shocking thing to me about the US government getting 10% of Intel is that it’s only worth $10B-$11B. For comparison, 10% of Microsoft is worth $370B.
I recall when Microsoft was 2x the market cap of Intel. 37x is a huge divergence of fortunes for the Wintel monopoly.