mmu_notifier: have mmu_notifiers use a global SRCU