ISRs: change max number of entries of an ISR from 4 to 8