Add seL4GlobalAsynchHardwareInterrupt connector This connector allows IRQs to be sent to a global-endpoint object.