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

512x/52xx/6xx/7xx/74xx/82xx/83xx/86xx

configname: CONFIG_PPC_BOOK3S_32

Processor Type
└─>512x/52xx/6xx/7xx/74xx/82xx/83xx/86xx
In linux kernel since version 2.6.31 (release Date: 2009-09-09)  
selects
CONFIG_PPC_FPU

is selected by
CONFIG_KVM_BOOK3S_32