CONFIG_ARM=y CONFIG_TARGET_VCMA9=y CONFIG_SYS_PROMPT="VCMA9 # " # CONFIG_CMD_SETEXPR is not set