Presumably Google has published the Honeycomb kernel (I didn't bother to verify this), but that's not interesting. The other 90% of Android is non-GPL userspace code.