[coreboot-gerrit] Patch merged into coreboot/master: buildgcc: Ask the user to install gnat if it's missing

the following patch was just integrated into master:
commit 04a1f6a3bce5d73ad7c43bced4683c0faffc368b
Author: Nico Huber 
Date:   Tue Sep 20 13:07:49 2016 +0200

buildgcc: Ask the user to install gnat if it's missing

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

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

-gerrit