US government stake in Intel surges to $36 billion.