CONFIG_PPC=y CONFIG_8xx=y CONFIG_TARGET_IP860=y