[coreboot-gerrit] Patch merged into coreboot/master: buildgcc: Deal with gmp on 32bit Linux on 64bit CPUs

the following patch was just integrated into master:
commit ddb8f808940899240411282d0feb1e2f65ef43a9
Author: Patrick Georgi 
Date:   Sat Jul 4 17:45:54 2015 +0200

buildgcc: Deal with gmp on 32bit Linux on 64bit CPUs

GMP is overeager to detect 64bit ABIs even if the entire running codebase is
    32bit (but on a 64bit CPU). Enforce a 32bit build in that situation.

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

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

-gerrit