local_irq_enable in restart handler