Fix dependency on files used by picotool#2027

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

will-v-pi:picotool-file-dependencieswill-v-pi/pico-sdk:picotool-file-dependenciesCopy head branch name to clipboard