ARM: use uint32_t for opcodes