Patch merged into coreboot/master: e876418 cbfstool: Add support for 64bit UEFI

the following patch was just integrated into master:
commit e87641840f1d7461d22e4297002db39544087c4a
Author: Stefan Reinauer 
Date:   Tue Feb 5 13:46:49 2013 -0800

cbfstool: Add support for 64bit UEFI

Right now cbfstool only accepts firmware volumes with
    a x86 SEC core and refuses an x86-64 SEC core because
    some magic values and the extended PE header are
    different. With this patch, both IA32/x64 images are
    supported. (No check is done whether the mainboard
    actually supports 64bit CPUs, so careful!)

This needs another patch to Tiano Core that switches
    to long mode after jumping to the 64bit entry point.
    Right now that code assumes we're already in 64bit code
    and the machine crashes.

Change-Id: I1e55f1ce1a31682f182f58a9c791ad69b2a1c536
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/2283
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

Reviewed-By: Patrick Georgi  at Wed Feb  6 00:37:26 2013, giving +2
See http://review.coreboot.org/2283 for details.

-gerrit