Fix race in gpio_set_irq_enabled_with_callback#2635

kilograham merged 1 commit intodevelopraspberrypi/pico-sdk:developfrom

gpio-int-fixraspberrypi/pico-sdk:gpio-int-fixCopy head branch name to clipboard