CONFIG_PPC64BRIDGE
CONFIG_PPC_CLUSTER_START
CONFIG_PPC_SPINTABLE_COMPATIBLE
-CONFIG_PPC_T1040
CONFIG_PPC_T1042
CONFIG_PPC_T2080
CONFIG_PPC_T2081
CONFIG_SYS_i2C_FSL
CONFIG_T1023RDB
CONFIG_T1024RDB
-CONFIG_T1040D4RDB
CONFIG_T1040QDS
CONFIG_T1040RDB
CONFIG_T1042D4RDB