fix kerneldoc for set_irq_msi()