The difference of 125 nS between the two different sorts of interrupt handlers is probably not significant. Since interrupts cannot occur mid-instruction, and instructions are from 1 to 3 clock cycles (where each cycle is 62.5 nS) you could probably say that both pin change interrupts, and external interrupts, are comparable.