[U-Boot] [PATCH 6/7] warp7: include: configs: Specify an fdtovaddr

[sbabic at denx.de]

> In the Mbed Linux OS bootflow OP-TEE runs before u-boot and provides a DTB
> overlay at 0x83100000.
> This overlay should subsequently be merged into the main DTB before handing
> over to the kernel.
> This patch defines fdtovaddr at 0x83100000.
> Signed-off-by: Bryan O'Donoghue <bryan.odonoghue at linaro.org>

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
=====================================================================