pico is recognized

Dependencies:   max32625pico mbed SerialInterface USBDevice

SerialInterface.lib/shortlog/shortlog@42ab3b212395: not found in manifest