CONFIG_ALPHA_MARVEL is not available for thedefaultarchitecture x86.
Result is shown for architecture alpha

Marvel

modulename: core_marvel.ko

and/or

sys_marvel.ko

and/or

err_ev7.ko

configname: CONFIG_ALPHA_MARVEL

Alpha system type
└─>Marvel
In linux kernel since version 2.6.12  
AlphaServer ES47 / ES80 / GS1280 based on EV7.

source code:
arch/alpha/kernel/