CONFIG_PPC=y CONFIG_MPC512X=y CONFIG_TARGET_MPC5121ADS=y CONFIG_SYS_EXTRA_OPTIONS="MPC5121ADS_REV2" # CONFIG_CMD_SETEXPR is not set