CONFIG_PPC64BRIDGE
CONFIG_PPC_CLUSTER_START
CONFIG_PPC_SPINTABLE_COMPATIBLE
-CONFIG_PPC_T1023
-CONFIG_PPC_T1024
-CONFIG_PPC_T1040
-CONFIG_PPC_T1042
CONFIG_PPC_T2080
CONFIG_PPC_T2081
CONFIG_PPC_T4160
CONFIG_SYS_i2C_FSL
CONFIG_T1023RDB
CONFIG_T1024RDB
-CONFIG_T1040D4RDB
CONFIG_T1040QDS
-CONFIG_T1040RDB
CONFIG_T1042D4RDB
CONFIG_T1042RDB
-CONFIG_T1042RDB_PI
CONFIG_T104XD4RDB
CONFIG_T104xRDB
CONFIG_T2080QDS