Patch merged into coreboot/master: c888326 buildgcc: Downgrade to gcc 4.7.3, handle armv7-a

the following patch was just integrated into master:
commit c8883262cf1375616743ba9d1f259b4fcda20d72
Author: Patrick Georgi 
Date:   Thu Sep 19 10:57:58 2013 +0200

buildgcc: Downgrade to gcc 4.7.3, handle armv7-a

gcc 4.8.x has issues with using ebp, which broke some builds,
    so downgrade. The problem also manifested elsewhere, so it's
    not necessarily our fault.

While at it, gcc complained about "armv7a" where it seems to
    expect "armv7-a".

Change-Id: I6f0c35f49709cb41022475bb47116c12ab1c7ee3
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/3930
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

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

-gerrit