[U-Boot] [PATCH v3 00/13] ARMv7: add PSCI support to u-boot

[Ian Campbell]

On Thu, 2014-04-17 at 09:58 +0100, Marc Zyngier wrote:
> Ian Campbell (cc-ed) is actively pushing out patches to support the A20
> in mainline U-Boot (I believe you've been on the receiving end of
> these),

Need to make a few more cleanups based on the review but v$NEXT should
be along soon.

> and I plan to rebase my series on top of his.

In fact I was banking on it and have deliberately left SMP support out
of the upstreaming series.

Ian.