default or selected kernelversion does not have config value CONFIG_POWER_RESET_TORADEX_EC.
Result is shown for kernelversion 6.16-rc7

Toradex Embedded Controller power-off and reset driver

modulename: tdx-ec-poweroff.ko

configname: CONFIG_POWER_RESET_TORADEX_EC

Linux Kernel Configuration
└─>Device Drivers
└─>Board level reset or power off
└─>Toradex Embedded Controller power-off and reset driver
In linux kernel since version 6.1.145 (release Date: 2025-07-14)  
This driver supports power-off and reset for SMARC Toradex SoMs,
for example the SMARC iMX8MP and SMARC iMX95, using Toradex
Embedded Controller (EC).

Say Y here if you have a Toradex SMARC SoM.

If unsure, say N.

source code: