CONFIG_ARC_SOC_HSDK is not available for the selected architecture x86.
Result is shown for architecture arc

ARC HS Development Kit SOC

configname: CONFIG_ARC_SOC_HSDK

Linux Kernel Configuration
└─>ARC HS Development Kit SOC
In linux kernel since version 4.2 (release Date: 2015-08-30)