Fixes https://github.com/raspberrypi/pico-sdk/issues/2201 TODO: Drop this when the next Pico SDK release is incorporated into MicroPython.