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