On Tue, Oct 12, 2021 at 01:43:16PM +0100, Usama Arif wrote:

> The extra 6GB start at 0x8080000000.
> 
> Signed-off-by: Usama Arif <usama.arif@arm.com>

Applied to u-boot/master, thanks!

-- 
Tom