CONFIG_PPC=y
CONFIG_PPC32=y
CONFIG_PPC_85xx=y
CONFIG_E500=y
CONFIG_FSL_SOC_BOOKE=y
CONFIG_MPC8540_ADS=y
CONFIG_MPC85xx_DS=y
CONFIG_PHYS_64BIT=y
CONFIG_SPE=y
CONFIG_PPC_UDBG_16550=y
CONFIG_DEFAULT_UIMAGE=y
CONFIG_COMPAT_32BIT_TIME=y