Makefile: use Android NDK r9d
Makefile: use the hard-float ABI on Android