ARM64: use intptr_t instead jint for 64bit support

Change-Id: Ib4bcd446c850dcb0503d767a7873838c736034d4