default or selected kernelversion does not have config value CONFIG_REDMI_WMI.
Result is shown for kernelversion 6.18-rc3
Redmibook WMI key driver
modulename: redmi-wmi.ko
configname: CONFIG_REDMI_WMI
Linux Kernel Configuration
└─>Device Drivers
└─>X86 Platform Specific Device Drivers
└─>Redmibook WMI key driver
Say Y here if you want support for WMI-based hotkey events on
Xiaomi Redmibook devices.
To compile this driver as a module, choose M here: the module will
be called redmi-wmi.
Xiaomi Redmibook devices.
To compile this driver as a module, choose M here: the module will
be called redmi-wmi.