Replaced deprecated (since ARMv7) data memory barrier with __sync_synchronize.
[android] Updated Android build scripts to use NDK r9 and GCC 4.8 to compile mono for ARM and x86