pico-sdk
pico-sdk copied to clipboard
Change rom_reset_usb_boot to simply call rom_reset_usb_boot_extra
(in order to reduce code duplication)