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