rockchip: rk3399: correct SPL_MAX_SIZE
[platform/kernel/u-boot.git] / include / configs / P4080DS.h
index 2f89008..a6fa6a8 100644 (file)
@@ -8,13 +8,8 @@
  * P4080 DS board configuration file
  * Also supports P4040 DS
  */
-#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