default or selected kernelversion does not have config value CONFIG_LENOVO_SE10_WDT.
Result is shown for kernelversion 6.10-rc5

Lenovo SE10 Watchdog

modulename: lenovo_se10_wdt.ko

configname: CONFIG_LENOVO_SE10_WDT

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>Lenovo SE10 Watchdog
If you say yes here you get support for the watchdog
functionality for the Lenovo SE10 platform.

This driver can also be built as a module. If so, the module
will be called lenovo-se10-wdt.

source code:

depends
CONFIG_WATCHDOG
CONFIG_COMPILE_TEST or CONFIG_DMI
CONFIG_X86