US Government Takes $2.4 Billion Paper Loss on Intel Stake