Re: [PATCH] arm64: kgdb: Match pstate size with gdbserver protocol