CONFIG_PPC=y
CONFIG_MPC824X=y
CONFIG_TARGET_MUSENKI=y