Definition for the reset interface that may be exposed by the pico_stdio_usb library