Symbol: kcsan_restore_irqtrace