Remove unneeded SDK files from libpico/etc.#2733

earlephilhower merged 1 commit intomasterearlephilhower/arduino-pico:masterfrom

s1earlephilhower/arduino-pico:s1Copy head branch name to clipboard