pico is recognized

Dependencies:   max32625pico mbed SerialInterface USBDevice

Revision:
7:8bc9fad71b8c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/SerialInterface.lib	Thu Jan 30 20:33:16 2020 +0000
@@ -0,0 +1,1 @@
+https://developer.mbed.org/users/switches/code/SerialInterface/#bc8d6816839f