Android: Switch GCC toolchain to 4.8 again. This time we'll work out any issues
instead of reverting.