CONFIG_SYS_EXTRA_OPTIONS="TOTAL5200_REV=1" CONFIG_PPC=y CONFIG_MPC5xxx=y CONFIG_TARGET_TOTAL5200=y