x86, irq: get nr_irqs from madt