CONFIG_MACH_CM_T3517 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_MACH_CM_T3517.
Result is shown for kernelversion 6.5.1
CompuLab CM-T3517 module
modulename: board-cm-t3517.ko
configname: CONFIG_MACH_CM_T3517
Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>CompuLab CM-T3517 module