Update external_interrupt.h