1CONFIG_PPC=y 2CONFIG_MPC85xx=y 3CONFIG_TARGET_CONTROLCENTERD=y 4CONFIG_SYS_EXTRA_OPTIONS="36BIT,SDCARD,DEVELOP" 5# CONFIG_CMD_IMLS is not set 6# CONFIG_CMD_FLASH is not set 7CONFIG_CMD_TPM=y 8CONFIG_SPI_FLASH=y 9CONFIG_DM=y 10CONFIG_DM_TPM=y 11CONFIG_TPM_ATMEL_TWI=y 12CONFIG_TPM_AUTH_SESSIONS=y 13CONFIG_TPM=y 14