Patch merged into coreboot/master: buildgcc: Deal with gmp on 32bit Cygwin on 64bit host

the following patch was just integrated into master:
commit 11f1d31d78e3e426c271ced7112de515d3b4c958
Author: zbao 
Date:   Wed Aug 5 23:15:54 2015 -0400

buildgcc: Deal with gmp on 32bit Cygwin on 64bit host

Similar to what the below change says,
    (
     http://review.coreboot.org/10792
      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.
    )
    building GMP can not detect Cygwin is 32bit either if the
    host which Cygwin is running is 64bit. We set ABI=32
    in that case.

Change-Id: Ic53d75defebbe902325eb07f3d8631b2a53245ef
    Signed-off-by: Zheng Bao 
    Signed-off-by: Zheng Bao 
    Reviewed-on: http://review.coreboot.org/11123
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit