Android and the GPLv2 death penalty

Google indeed probably does not violate the GPL, not even with the Honeycomb version (although I seem to remember there was a bit of complaining about the time it sometimes takes them to post source code).

But individual manufacturers may very well violate the GPL -- the fact that Google has source code available somewhere does not absolve them of offering the code as well (either on the CD you get with your phone, or with a 'written offer' to provide the source to you). It appears that many phone manufacturers do this rather well, but others don't. In the worst case, this might lead to those manufacturers having their license to distribute Android be revoked, and thus would not be able to sell Android phones anymore.