Make some strange 32/64 bit compile on 32-bit architectures
Use consistent target triple on ARMv6