"fdt_high=0x10000000\0" \
"initrd_high=0x10000000\0"
-/* SATA support */
-#define CONFIG_LBA48
-
/* FPGA programming support */
#define CONFIG_FPGA_STRATIX_V
/* SPL */
/* Defines for SPL */
-#define CONFIG_SPL_BSS_START_ADDR (0x40000000 + (128 << 10))
-
-#define CONFIG_SPL_STACK (0x40000000 + ((192 - 16) << 10))
-
/* Enable DDR support in SPL (DDR3 training from Marvell bin_hdr) */
#define CONFIG_SYS_SDRAM_SIZE SZ_2G