[sr-dev] git:master: pdt(k): MI commands can be disabled via define PDT_NO_MI