CONFIG_ALPHA_SHARK is not available for thedefaultarchitecture 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/