Handle 32 bit pointers on ARM chips