CONFIG_SGI_IP32 is not available for the selected architecture x86.
Result is shown for architecture mips

SGI IP32 (O2) (EXPERIMENTAL)

modulename: fixup-ip32.ko

configname: CONFIG_SGI_IP32

System type
└─>SGI IP32 (O2) (EXPERIMENTAL)
In linux kernel since version 2.6.12 )
If you want this kernel to run on SGI O2 workstation, say Y here.
source code:
arch/mips/pci/

depends
CONFIG_EXPERIMENTAL