tcl/board: add pico-debug support