drivers/xen: use nr_irqs