CONFIG_PPC=y CONFIG_MPC5xxx=y CONFIG_TARGET_TQM5200=y CONFIG_SYS_EXTRA_OPTIONS="STK52XX_REV100" # CONFIG_CMD_SETEXPR is not set