Intel's drop shaves about $10 billion off the US government's equity stake. It's still up 3X. Yahoo Finance