CONFIG_PPC32 is not available for thedefaultarchitecture x86.
Result is shown for architecture ppc

CONFIG_PPC32 (not configurable)

modulename: setup-irq.ko

and/or

init_32.ko

and/or

div64.ko

and/or

entry_32.ko

and/or

bootx_init.ko

configname: CONFIG_PPC32

Linux/PowerPC Kernel Configuration
└─>PPC32
In linux kernel since version 2.6.15 (release Date: 2006-01-02)  
source code:
drivers/pci/setup-irq.c