kernelconfig_penguin
CONFIG_PPC_BOOK3S is not available for the default architecture x86.
Result is shown for architecture powerpc

CONFIG_PPC_BOOK3S (not configurable)

configname: CONFIG_PPC_BOOK3S

Linux Kernel Configuration
└─> Processor support
└─> PPC_BOOK3S