# CONFIG_POWER_RESET_TORADEX_EC is not set
