Fix picotool bazel build#2827

will-v-pi wants to merge 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

will-v-pi:bazel-fixwill-v-pi/pico-sdk:bazel-fixCopy head branch name to clipboard