CONFIG_PPC_MPC831x is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
CONFIG_PPC_MPC831x (not configurable)
configname: CONFIG_PPC_MPC831x
Linux Kernel Configuration
└─>Platform support
└─>PPC_MPC831x