CONFIG_PPC=y CONFIG_MPC512X=y CONFIG_TARGET_AC14XX=y # CONFIG_CMD_SETEXPR is not set