Fix gdb aarch64 register profile (needs testing)