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

83xx-based boards

configname: CONFIG_PPC_83xx

Linux Kernel Configuration
└─>83xx-based boards
In linux kernel since version 2.6.15 (release Date: 2006-01-02)