On Wed, 13 Dec 2017, Matt Thomas wrote:
+ * Set up a preliminary mapping in the MMU to allow us to run + * at KERNEL_BASE with caches on.
For FDT you need to add an extra entry for the DTB as the blob passed down from U-Boot is not guaranteed to live within the region covered by INIT_MEMSIZE.
