pico is recognized

Dependencies:   max32625pico mbed SerialInterface USBDevice

no such method: tip