[U-Boot] [PATCH v2 3/4] warp7: configs: bl33: Tidy up OPTEE defines

[sbabic at denx.de]

> When booting in BL33 mode i.e. with u-boot loaded by OP-TEE we get the
> following print-out.
> Board: WARP7 in secure mode OPTEE DRAM 0xa0000000-0xa0000000
> This is incorrect the right range is 0x9e000000-0xa0000000. This patch
> fixes the defines on the warp7_bl33_defconfig file to tidy up the output.
> Signed-off-by: Bryan O'Donoghue <bryan.odonoghue at linaro.org>
> Cc: Fabio Estevam <fabio.estevam at nxp.com>

Applied to u-boot-imx, master, thanks !

Best regards,
Stefano Babic

-- 
=====================================================================
DENX Software Engineering GmbH,      Managing Director: Wolfgang Denk
HRB 165235 Munich, Office: Kirchenstr.5, D-82194 Groebenzell, Germany
Phone: +49-8142-66989-53 Fax: +49-8142-66989-80 Email: sbabic at denx.de
=====================================================================