Patch merged into coreboot/master: 136657c arm64: Replace CONFIG_* variables with {read/write}_current

the following patch was just integrated into master:
commit 136657cfe94dd4c66bb452bcc61268bc92549799
Author: Furquan Shaikh 
Date:   Tue Sep 9 09:43:08 2014 -0700

arm64: Replace CONFIG_* variables with {read/write}_current

Instead of relying on config variables to determine the current el, use
    {read/write}_current macros for accessing registers.

BUG=chrome-os-partner:30785
    BRANCH=None
    TEST=Compiles successfully and boots to kernel login prompt

Change-Id: I6c27571fa65e06e28b71fee3e21d6ca93542e66b
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: 96aed53b2879310f6f979d5aa78b8d1df7f04564
    Original-Change-Id: If4a5d1e9aa50ab180c8012862e2a6c37384f7f91
    Original-Signed-off-by: Furquan Shaikh 
    Original-Reviewed-on: https://chromium-review.googlesource.com/217148
    Original-Tested-by: Furquan Shaikh 
    Original-Reviewed-by: Aaron Durbin 
    Original-Commit-Queue: Furquan Shaikh 
    Reviewed-on: http://review.coreboot.org/9065
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit