Fix "incompatible pointer type" warning in gdb/aarch64-tdep.c