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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit fce128cdfb817eb8f8a88c3a815fb109e8a0a504
Author: Stefan Reinauer <reinauer at chromium.org>
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 <stefan.reinauer at coreboot.org>
    Reviewed-on: http://review.coreboot.org/11022
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>


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

-gerrit