Implement INTC-less MSI-X architecture
The new MSI-X interrupt controller allows us to use a huge number of interrupts. Implement a variant of the VC709 architecture that assigns each PE a unique interrupt and does not use the Xilinx AXI Interrupt Controllers (INTC) at all. Each IRQ handler in the LKM should wake its queue directly and finish immediately, no read of the ISR, no ACK, no initialization required.
Requires some rewriting of the driver to support this model. Could use INTC# register in status core to determine that there a zero INTCs and then register the new interrupts instead. Problem: We have no workable fallback in case we do not get enough interrupts; in this case we should abort the driver loading.