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

83xx-based boards

configname: CONFIG_PPC_83xx

Linux Kernel Configuration
└─> 83xx-based boards