Patch merged into coreboot/master: mainboard 64bit fixes

the following patch was just integrated into master:
commit 273911cfd6c729406844aa00c0274fefff2d0919
Author: Stefan Reinauer 
Date:   Thu Jul 30 16:17:10 2015 -0700

mainboard 64bit fixes

Change-Id: I2b4338927d56a2075c0a95f2ab981f1beaf69cc7
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/11082
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

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

-gerrit