CONFIG_MACH_TAVOREVB is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Marvell's PXA910 TavorEVB Development Board

modulename: tavorevb.ko

configname: CONFIG_MACH_TAVOREVB

Linux Kernel Configuration
└─>Marvell PXA168/910/MMP2
└─>Marvell PXA168/910/MMP2 Implementations
└─>Marvell's PXA910 TavorEVB Development Board
In linux kernel since version 2.6.27 (release Date: 2008-10-09)  
Say 'Y' here if you want to support the Marvell PXA910-based
TavorEVB Development Board.

source code: