pico is recognized

Dependencies:   max32625pico mbed SerialInterface USBDevice

unknown revision 'shortlog'