-#define CONFIG_P4080DS
-#define CONFIG_PHYS_64BIT
-#define CONFIG_PPC_P4080
-
-#define CONFIG_FSL_NGPIXIS /* use common ngPIXIS code */
-
-#define CONFIG_MMC
-#define CONFIG_PCIE3
-
-#define CONFIG_CMD_SATA
-#define CONFIG_SATA_SIL
-#define CONFIG_SYS_SATA_MAX_DEVICE 2
-#define CONFIG_LIBATA
-#define CONFIG_LBA48