Art,

Just curious if you got this to work.
I would think that you would have to define a DT interrupt source for the EXT int and set the handler label.