CONFIG_PPC=y
CONFIG_8xx=y
CONFIG_TARGET_GEN860T=y
