Fix hardware_alarm_irq_handler when using Timer 1, Fixes #1948#1949

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

ajf58:correct-alarm-irq-handlerajf58/hal_rpi_pico:correct-alarm-irq-handlerCopy head branch name to clipboard