CONFIG_MACH_CM_T35 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CompuLab CM-T35/CM-T3730 modules
modulename: board-cm-t35.ko
configname: CONFIG_MACH_CM_T35
Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>CompuLab CM-T35/CM-T3730 modules