Patch merged into coreboot/master: 17b9c19 arm64: Prepare ARM64 for building

the following patch was just integrated into master:
commit 17b9c198e0ebbd79d1b581eba0810a4c7979f012
Author: Marc Jones 
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

Change-Id: Iacd95d336559c45458784d1da67bde62a0956620
    Reviewed-on: http://review.coreboot.org/8236
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit