And a big portion of Intel chips are now made by TSMC in Taiwan anyway. I have the impression that the US government will make sure they have enough money to get back to having their own competitive factories.
Besides that, due to their anti-competitive practices and other issues, I suppose I think the company does not deserve any charity -- they only stopped paying dividends a few months ago, and stopped stock buybacks a few years ago.
If the goal is to encourage a competitive chip market, Intel stock price is healthy enough that it could be used to raise cash for the company if needed, so there is no significant imbalance there -- as opposed to 10+ years ago when AMD stock was much lower when they looked to be at risk at bankruptcy