GDB context is inconsistent after "monitor system_reset"