CONFIG_PPC_86xx is not available for the selected architecture x86.
Result is shown for architecture powerpc
CONFIG_PPC_86xx (not configurable)
configname: CONFIG_PPC_86xx
Linux Kernel Configuration
└─>PPC_86xx