[coreboot-gerrit] Patch merged into coreboot/master: arm64: Fix Kconfig issues for secure OS loading

the following patch was just integrated into master:
commit 67246f4738cb1e39177504da7404640bc40a4e13
Author: Furquan Shaikh 
Date:   Mon Jun 1 14:14:01 2015 -0700

arm64: Fix Kconfig issues for secure OS loading

BUG=chrome-os-partner:40713
    BRANCH=None
    TEST=Compiles successfully with and without SECURE_OS config selected

Change-Id: I93e9726712a1992f1788d60891d5f6917bba3767
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: 535ac9ffd1199b047734da0a9ee257d468b3fbb1
    Original-Change-Id: Ic70a0b57816a5f3af548edafd82ba3783825a174
    Original-Signed-off-by: Furquan Shaikh 
    Original-Reviewed-on: https://chromium-review.googlesource.com/274416
    Original-Trybot-Ready: Furquan Shaikh 
    Original-Tested-by: Furquan Shaikh 
    Original-Reviewed-by: Julius Werner 
    Original-Commit-Queue: Furquan Shaikh 
    Reviewed-on: http://review.coreboot.org/10694
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit