to prove that free_irq cannot be called in softirq