move irq_has_handler() so it can be used without shared handlers#2383

kilograham merged 1 commit intodevelopraspberrypi/pico-sdk:developfrom

irq-has-handler-fixraspberrypi/pico-sdk:irq-has-handler-fixCopy head branch name to clipboard