CONFIG_ALPHA_MARVEL is not available for the selected architecture 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/