CONFIG_PCI_MARVELL is not available for thedefaultarchitecture x86.
Result is shown for architecture mips

CONFIG_PCI_MARVELL (not configurable)

modulename: ops-marvell.ko

configname: CONFIG_PCI_MARVELL

Linux/MIPS Kernel Configuration
└─>Machine selection
└─>PCI_MARVELL
In linux kernel since version 2.6.12  
source code: