CONFIG_MPC85xx is not available for the selected architecture x86.
Result is shown for architecture powerpc
Machine Type
configname: CONFIG_MPC85xx
Linux Kernel Configuration
└─>Machine Type