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)
In linux kernel since version 2.6.27 (release Date: 2008-10-09)  
source code:
arch/arm/mach-pxa/tavorevb.c
selects
CONFIG_PXA3xx
CONFIG_PXA930
CONFIG_CPU_PXA910