I believe that the android NDK defines ANDROID so it should be fairly easy to make a patch. TCP/IP networking should work however I haven't tested it. The only thing that I had to comment out that would make much of a difference was in open_pseudo_terminal_slave due to 

I_PUSH 

not being defined.

The only thing I might need help with is the makefile. I was using the latest source snapshot from here http://www.iro.umontreal.ca/~gambit/download/gambit/v4.6/source/gambc-v4_6_0.tgz however I can check it out from git and create a patch that way if you prefer. Let me know.

-Sean Chapel