CONFIG_PPC_BOOK3S_64 is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
CONFIG_PPC_BOOK3S_64 (not configurable)
modulename: cpu_setup_power7.ko
and/orcpu_setup_ppc970.ko
and/orconfigname: CONFIG_PPC_BOOK3S_64
Linux Kernel Configuration
└─>Processor support
└─>PPC_BOOK3S_64