CONFIG_DELL_WMI_DESCRIPTOR (not configurable)

modulename: dell-wmi-descriptor.ko

configname: CONFIG_DELL_WMI_DESCRIPTOR

Linux Kernel Configuration
└─>Device Drivers
└─>X86 Platform Specific Device Drivers
└─>DELL_WMI_DESCRIPTOR
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/platform/x86/dell-wmi-descriptor.c