CONFIG_PPC=y CONFIG_MPC5xxx=y CONFIG_TARGET_TQM5200=y CONFIG_SYS_EXTRA_OPTIONS="TQM5200_B,TQM5200S" # CONFIG_CMD_SETEXPR is not set