Symbol: ipmi_irq_start_cleanup