[PATCH 1/2] docs: fix typo in isa-debugcon example