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