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

CONFIG_MACH_MVEBU_V7 (not configurable)

modulename: board-v7.ko

and/or

mvebu-cpufreq.ko

configname: CONFIG_MACH_MVEBU_V7

Linux Kernel Configuration
└─>Marvell EBU SoC variants
└─>MACH_MVEBU_V7
In linux kernel since version 3.15 (release Date: 2014-06-08)  
source code: