Add helper for retrieving the IRQ control cap