Fix for issue #58#85

Silabs-ArjanB wants to merge 2 commits intopulp-platform:masterpulp-platform/riscv-dbg:masterfrom

Silabs-ArjanB:ArjanB_issue_58Silabs-ArjanB/riscv-dbg:ArjanB_issue_58Copy head branch name to clipboard