ARM intrinsic: fix inline asm syntax