CONFIG_MPC85xx_DS is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
Freescale MPC85xx DS
modulename: mpc85xx_ds.ko
configname: CONFIG_MPC85xx_DS
Machine Type
└─>Freescale MPC85xx DS
In linux kernel since version 2.6.24 (release Date: 2008-01-24)
This option enables support for the MPC85xx DS (MPC8544 DS) board