(Android) Don't build ARMv5 cores by default anymore - a special define will
be introduced for optionally building these still