CONFIG_MACH_TAVOREVB is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
PXA930 Evaluation Board (aka TavorEVB)
modulename: tavorevb.ko
configname: CONFIG_MACH_TAVOREVB
Linux Kernel Configuration
└─>Intel PXA2xx/PXA3xx Implementations
└─>PXA930 Evaluation Board (aka TavorEVB)