CONFIG_MACH_TAVOREVB is not available for the selected architecture 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

depends
CONFIG_ARCH_PXA or CONFIG_ARCH_MMP |
| CONFIG_ARCH_MULTI_V5 or CONFIG_ATAGS