Add initial stubs for implementing IRQ manager