correct 8051 ext1 int vector to 0x13