Adapt debug output to Pico]OS. Use nosPrintf instead of
stdio.