Patch merged into coreboot/master: 6f33f0a arm64: Add verstage support

the following patch was just integrated into master:
commit 6f33f0a87d7ce60d10d2fe9cfa3f721fb598840e
Author: Furquan Shaikh 
Date:   Thu Oct 2 16:43:19 2014 -0700

arm64: Add verstage support

This stage is not tested on any hardware.

BUG=None
    BRANCH=None
    TEST=Compiles successfully for rush_ryu and veyron_pinky

Original-Change-Id: I6dd266471c815895bb3dd53d34aacc8fe825eeb6
    Original-Signed-off-by: Furquan Shaikh 
    Original-Reviewed-on: https://chromium-review.googlesource.com/221911
    Original-Tested-by: Furquan Shaikh 
    Original-Reviewed-by: Aaron Durbin 
    Original-Commit-Queue: Furquan Shaikh

(cherry picked from commit 907ea2d1f8c9f01d815e8673695dd5271322c7a8)
    Signed-off-by: Aaron Durbin

Change-Id: I617a742d4a387be947086dae33e9a913f742a8d1
    Reviewed-on: http://review.coreboot.org/9255
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit