[U-Boot] [PATCH v4 00/10] ARMv7: add PSCI support to U-Boot - *not* applied

[Albert ARIBAUD]

On Tue, 10 Jun 2014 10:36:49 +0200, Albert ARIBAUD
<albert.u.boot at aribaud.net> wrote:

> Hi Marc,
> 
> Applied to u-boot-arm/master, thanks!

Apologies -- *not* applied until 08/10 warning is fixed.

Amicalement,
-- 
Albert.