android-configure: can have x86 toolchain on x86_64 hosts