CONFIG_ALPHA_SHARK is not available for the selected architecture x86.
Result is shown for architecture alpha

Shark

modulename: sys_dp264.ko

configname: CONFIG_ALPHA_SHARK

Alpha system type
└─>Shark
In linux kernel since version 2.6.12 )
source code:
arch/alpha/kernel/