Question: External interrupt interface - What are the semantics behind an inactive high, does this mean it has to be ac coupled? Can it be held high by an external circuit?

Answer: Yes, it has be held high for 2 cycles through external device. One way is to use a pull-up circuit and connect the external device to toggle the pull-up circuit for driving the INT.