CONFIG_SYS_EXTRA_OPTIONS="KORAT_PERMANENT" CONFIG_PPC=y CONFIG_4xx=y CONFIG_TARGET_KORAT=y