CONFIG_PPC=y
CONFIG_8xx=y
CONFIG_TARGET_TOP860=y
