CONFIG_SGI_HAS_HAL2 is not available for the selected architecture x86.
Result is shown for architecture mips
CONFIG_SGI_HAS_HAL2 (not configurable)
configname: CONFIG_SGI_HAS_HAL2
Linux Kernel Configuration
└─>SGI_HAS_HAL2