FFI: Support for ARM