CONFIG_PPC_ICP_HV is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc

CONFIG_PPC_ICP_HV (not configurable)

modulename: icp-hv.ko

configname: CONFIG_PPC_ICP_HV

Linux Kernel Configuration
└─>PPC_ICP_HV
In linux kernel since version 3 (release Date: 2011-07-21)  
source code:
arch/powerpc/sysdev/xics/icp-hv.c
is depended by
CONFIG_PPC_PSERIES