CONFIG_SYS_EXTRA_OPTIONS="galaxy5200" CONFIG_PPC=y CONFIG_MPC5xxx=y CONFIG_TARGET_GALAXY5200=y