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

CONFIG_PPC_86xx (not configurable)

configname: CONFIG_PPC_86xx

Linux Kernel Configuration
└─> PPC_86xx