Patch merged into coreboot/master: buildgcc: Help GMP build with 32-bit NetBSD

the following patch was just integrated into master:
commit de45c590808184be24b5f9d271b93740da7c0976
Author: Nico Huber 
Date:   Wed Jan 20 23:22:33 2016 +0100

buildgcc: Help GMP build with 32-bit NetBSD

GMP's configure tries to build for 64-bit with a 32-bit userspace on
    NetBSD too. Help it by forcing ABI=32.

Change-Id: I290ea0ef1626fdd88dc3ff74fadb9578ef6a1c9c
    Signed-off-by: Nico Huber 
    Reviewed-on: https://review.coreboot.org/13067
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

See https://review.coreboot.org/13067 for details.

-gerrit