CONFIG_PPC=y CONFIG_MPC512X=y CONFIG_TARGET_AC14XX=y # CONFIG_CMD_SETEXPR is not set CONFIG_SYS_PROMPT="ac14xx> "