Thanks Stan, for setting the record straight.
It's amazing how many people totally miss the point about R-Pi. There's so much hate (here and in other forums) because the Pi is not fast enough, or open enough, or supported enough, or available enough.
People don't realize that it was never intended to be a replacement to your desktop computer, or a completely open hardware platform, or widely available at retailers, or a commercial system widely supported. The primary target are schools and young developers, interested in learning. Honestly, kids don't really care if the GPU is open sourced or not. But they'd love things like this: http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/.