Re: [PATCH 0/2] docs: improve isa-debugcon example