Patch merged into coreboot/master: More Hudson 64bit fixes

the following patch was just integrated into master:
commit 772029fe7321e0ddea11711b6756a32f19572db4
Author: Stefan Reinauer 
Date:   Thu Jul 30 16:23:50 2015 -0700

More Hudson 64bit fixes

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

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

-gerrit