CONFIG_ARCH_WANT_IRQS_OFF_ACTIVATE_MM (not configurable)

configname: CONFIG_ARCH_WANT_IRQS_OFF_ACTIVATE_MM

Linux Kernel Configuration
└─>ARCH_WANT_IRQS_OFF_ACTIVATE_MM
In linux kernel since version 4.9.3 (release Date: 2017-01-12)  
Temporary select until all architectures can be converted to have
irqs disabled over activate_mm. Architectures that do IPI based TLB
shootdowns should enable this.