[PATCH v2 00/14] UEFI support for arm(64)

[Matt Fleming]

On Thu, 13 Mar, at 10:46:53PM, Leif Lindholm wrote:
> Since all prerequisites are not ready for the (32-bit) arm patches to
> go in, I have broken these out of this set and will be resubmitting
> them separately.
> 
> This set now provides arm64 support only - but includes the code that
> is common between the ARM ports.

This series looks OK to me.

-- 
Matt Fleming, Intel Open Source Technology Center