[coreboot-gerrit] Patch merged into coreboot/master: arm64: Add support for loading secure os

the following patch was just integrated into master:
commit a384c2899d5440a216eadbb6a144ba7d49e3674e
Author: Furquan Shaikh 
Date:   Thu May 28 12:13:51 2015 -0700

arm64: Add support for loading secure os

Add support for loading secure os and pass its entrypoint as bl32 params
    to bl31 stage.

BUG=chrome-os-partner:40713
    BRANCH=None
    TEST=Compiles successfully and loads secure os

Change-Id: I1409ccb7344c1d1b1ddc2b321fdae1beea2f823d
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: d3dc19025ff11c1e0590306230df7654ef9ad086
    Original-Change-Id: Iafd540bf2906d10b5ee009e96179121fecbf5e11
    Original-Signed-off-by: Furquan Shaikh 
    Original-Reviewed-on: https://chromium-review.googlesource.com/273719
    Original-Reviewed-by: Julius Werner 
    Original-Commit-Queue: Furquan Shaikh 
    Original-Trybot-Ready: Furquan Shaikh 
    Original-Tested-by: Furquan Shaikh 
    Reviewed-on: http://review.coreboot.org/10693
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See http://review.coreboot.org/10693 for details.

-gerrit