tree 4e706392bfb4ff870ab55555cb62df9debc95c99
parent 7c4ab21c0201ded1c38c576a28c5d74db979785f
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531652082 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531753002 +0100

rpi3: Switch addresses of kernel and DTB

In the memory map of the documentation the kernel only had 16MiB of
allocated space. This leaves very little room for growth, so the
addresses of the DTB and the kernel have been interchanged.

The documentation has been updated to reflect this change.

Change-Id: Ib6eab69f047fa88561fb755397ce3a0b356c8860
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>