US president says Intel CEO agreed to give the US a 10% stake | Not Hacker News!