Fix high interrupt ISRs

Fix high interrupt ISRs

Backport from DREX. We rely on base ISRs all being the same size but
since we push the interrupt vector, pushing a constant >= 128 is a
longer instruction. So bump ISR_SIZE to 12 and nop pad the lower ISRs.