Use uint32_t on ARM, not non-standard __uint32_t