CONFIG_MMU_GATHER_RCU_TABLE_FREE (not configurable)
configname: CONFIG_MMU_GATHER_RCU_TABLE_FREE
Linux Kernel Configuration
└─>General architecture-dependent options
└─>MMU_GATHER_RCU_TABLE_FREE