A group of us are trying to make an android port,
We have the system booting fine, but the lack of bionic linked egl drivers cause the ui to forceclose due to lack of acceleration,
the current videocore libs are linked against glibc rather than bionic.
Are you able to produce binaries linked against bionic instead?
We can supply proof of this if needed
The bionic libc can be found at https://dl.dropbox.com/u/62133987/bionic.zip, I believe that's compiled correctly though it could very well be compiled for ARMv7 (the Android build system and I are not exactly friends anymore).
If any need to contact us should arise, we're online at #androidpi @ irc.rizon.net most of the day (and night).
EDIT: I'm a dope. pulled the relevant files off our Android-fs and reuploaded. This time they're correct.
/opt/vc/lib source is available in https://github.com/raspberrypi/userland so you can build it how you like.