mmu_notifier: make the mmu_notifier srcu static