fpga: include the irq controller.