Android-NDK: Made 32-Bit version an option
Android-NDK: 32Bit now a user selectable option
android-ndk: add r10c bottle.