CONFIG_MACH_TAVOREVB3 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
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)