CONFIG_PPC=y CONFIG_5xx=y CONFIG_TARGET_CMI_MPC5XX=y