gdbserver - only r0 to r16 are printed in getRegister