The term Android is not trademarked. Even the bugdroid is released under a cc-attrib license. Funnily, the term 'droid' is trademarked and licensed by lucasfilm/disney mostly.
Google quote: "Android™ should have a trademark symbol the first time it appears in a creative."
Brand Guidelines http://developer.android.com/distribute/tools/promote/brand....
Yes, I do know who you are -- in fact, we have met -- but Google should not be using Android™ if it's not trademarked ;-)