support 64-bit ARM