[coreboot-gerrit] Patch merged into coreboot/master: Add x64 support to src/arch/x86/Kconfig

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 6867120a8018d93df99dae6fb69e3789f112bb1b
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Sun Mar 15 04:34:03 2015 +0100

    Add x64 support to src/arch/x86/Kconfig
    
    Change-Id: I81f6d8a21ea0d8218f5a4aab2feb39be32f88e01
    Signed-off-by: Stefan Reinauer <stefan.reinauer at coreboot.org>
    Signed-off-by: Scott Duplichan <scott at notabs.org>
    Reviewed-on: http://review.coreboot.org/8692
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan <edward.ocallaghan at koparo.com>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit