Added a gloabl IRQ dispatcher