Has anyone got the PB 2.12 beta to work with Eshell. I start Eshell and when
I start PB and specify the debugging transport as UDP and CEPC device name,
and hit start debugging NK.EXE, PB registers with "eshell" for DBGMSG but it
does not register with it for "kernel debugging". Is there anything extra
one has to setup?