pico is recognized

Dependencies:   max32625pico mbed SerialInterface USBDevice

SerialInterface.lib/shortlog@8bc9fad71b8c: not found in manifest