Gets the correct PIO interrupt source number according to the raw PIO interrupt number used in a .pio file.(3); //returns pis_interrupt3 (11)