#include <linux/sizes.h>
-#define CONFIG_POWER_HI6553
-
/* Physical Memory Map */
/* CONFIG_TEXT_BASE needs to align with where ATF loads bl33.bin */
func(DHCP, dhcp, na)
#include <config_distro_bootcmd.h>
-#define CONFIG_EXTRA_ENV_SETTINGS \
+#define CFG_EXTRA_ENV_SETTINGS \
"kernel_name=Image\0" \
"kernel_addr_r=0x00080000\0" \
"fdtfile=hi6220-hikey.dtb\0" \