CONFIG_SGI_IP32 is not available for thedefaultarchitecture x86.
Result is shown for architecture mips

SGI IP32 (O2)

modulename: fixup-ip32.ko

configname: CONFIG_SGI_IP32

System type
└─>SGI IP32 (O2)
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/