CONFIG_MACH_TAVOREVB3 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_MACH_TAVOREVB3.
Result is shown for kernelversion 6.2.5
PXA95x Development Platform (aka TavorEVB III)
modulename: tavorevb3.ko
configname: CONFIG_MACH_TAVOREVB3
Linux Kernel Configuration
└─>Intel PXA2xx/PXA3xx Implementations
└─>PXA95x Development Platform (aka TavorEVB III)