CONFIG_MPC8555_CDS is not available for thedefaultarchitecture x86.
Result is shown for architecture ppc

Freescale MPC8555 CDS

modulename: mpc85xx_cds_common.ko

and/or

todc_time.ko

configname: CONFIG_MPC8555_CDS

Machine Type
└─>Freescale MPC8555 CDS
In linux kernel since version 2.6.12  
This option enablese support for the MPC8555 CDS evaluation board.

source code:
arch/ppc/platforms/85xx/mpc85xx_cds_common.c