[PATCH v3 13/13] ARM: add UEFI stub support

[Matt Fleming]

On Fri, 27 Nov, at 10:38:05AM, Ard Biesheuvel wrote:
> 
> Actually, it is the reservation done a bit earlier that could
> potentially end up at 0x0, and the [compressed] kernel is always at
> least 32 MB up in memory, so that it can be decompressed as close to
> the base of DRAM as possible.
> 
> As far as I can tell, efi_free() deals correctly with allocations at
> address 0x0, and that is the only dealing we have with the
> reservation. So I don't think there is an issue here.

OK, great.