CONFIG_PPC=y CONFIG_MPC824X=y CONFIG_TARGET_MUSENKI=y