https://github.com/raspberrypi/pico-sdk/pull/1822 and maybe https://github.com/raspberrypi/pico-sdk/pull/1954