--- a/kernel/irq/manage.c
+++ b/kernel/irq/manage.c
@@ -30,7 +30,6 @@ void synchronize_irq(unsigned int irq)
 {
 	struct irq_desc *desc = irq_desc + irq;
 
-	WARN_ON(in_interrupt());
 	if (irq >= NR_IRQS)
 		return;