CONFIG_MACH_DOVE is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Marvell Dove boards
modulename: dove.ko
configname: CONFIG_MACH_DOVE
Linux Kernel Configuration
└─>Marvell EBU SoC variants
└─>Marvell Dove boards
In linux kernel since version 3.10 (release Date: 2013-06-30)
Say 'Y' here if you want your kernel to support the
Marvell Dove using flattened device tree.
Marvell Dove using flattened device tree.
source code:
selects
CONFIG_CACHE_L2X0CONFIG_CPU_PJ4
CONFIG_DOVE_CLK
CONFIG_ORION_IRQCHIP
CONFIG_ORION_TIMER
CONFIG_PINCTRL_DOVE
CONFIG_MACH_MVEBU_ANY
CONFIG_PM_GENERIC_DOMAINS