[coreboot-gerrit] Patch merged into coreboot/master: Hudson: Port to 64bit

the following patch was just integrated into master:
commit fce128cdfb817eb8f8a88c3a815fb109e8a0a504
Author: Stefan Reinauer 
Date:   Tue Jul 21 12:52:34 2015 -0700

Hudson: Port to 64bit

Bring http://review.coreboot.org/#/c/10582/ to Hudson

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

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

-gerrit