Instead of exporting a custom structure to represent different
interrupt types, just export the irq array and have the top
elements point to the NMI lines.
Signed-off-by: NEdgar E. Iglesias <edgar.iglesias@gmail.com>