Intel’s drop on Friday shaves the US government’s equity stake by about $10 billion. It’s still up 3x since last August.