[coreboot-gerrit] Patch merged into coreboot/master: 17b9c19 arm64: Prepare ARM64 for building

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 17b9c198e0ebbd79d1b581eba0810a4c7979f012
Author: Marc Jones <marc.jones at se-eng.com>
Date:   Fri Jan 16 13:45:23 2015 -0700

    arm64: Prepare ARM64 for building
    
    There were a number of issues with the ARM64 build files. This
    patch ports the following changes from ARMV4/V7 to ARMV8:
    
      - make armv8 Kconfig options consistent with armv4/v7
      - fix build include issues in boot.c, tables.c,
        and early_variables.h by matching armv4/v7.
    
        Change-Id: I57359a96821d88c50f48dc0bb6ad226cacb0c2ec
        Signed-off-by: Marc Jones <marc.jones at se-eng.com>
    
    Change-Id: Iacd95d336559c45458784d1da67bde62a0956620
    Reviewed-on: http://review.coreboot.org/8236
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit