CONFIG_INTEL_WMI (not configurable)
configname: CONFIG_INTEL_WMI
Linux Kernel Configuration
└─>Device Drivers
└─>X86 Platform Specific Device Drivers
└─>INTEL_WMI
