> they sold ownership at market rate

No, they did not. The government paid less than Softbank that also just purchased a stake. Unless forced, Intel could have likely gotten a better deal.