Patch merged into coreboot/master: buildgcc: Don't try to build gnat with a different version

the following patch was just integrated into master:
commit 75797166cef66a84f38856f74a671968c6a7cd1f
Author: Nico Huber 
Date:   Tue Sep 20 13:01:57 2016 +0200

buildgcc: Don't try to build gnat with a different version

Change-Id: I64a33d2cc4793e54a50fa439a4461c40d424b569
    Signed-off-by: Nico Huber 
    Reviewed-on: https://review.coreboot.org/16676
    Reviewed-by: Patrick Georgi 
    Tested-by: build bot (Jenkins)

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

-gerrit