kernelconfig_penguin
CONFIG_ARC_SOC_HSDK is not available for the default 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