Patch merged into coreboot/master: 37714f3 crossgcc: update to gcc 4.7.3

the following patch was just integrated into master:
commit 37714f33a6ac922c8e3a8e5761c0c7ac505acad1
Author: Idwer Vollering 
Date:   Fri Apr 19 00:56:57 2013 +0200

crossgcc: update to gcc 4.7.3

Update crossgcc to use gcc 4.7.3
    The resulting coreboot.rom is not runtime tested (any volunteers?).

Drop the texinfo patch, rename the armv7a patch.

Some Linux distributions have moved on to gcc 4.8,
    under certain circumstances this version can't (cross-)compile gcc 4.7.2
    Bug report: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56927

Change-Id: Id8ce5f86c34e1a0900d44dc6ae4e81cb9548ecc2
    Signed-off-by: Idwer Vollering 
    Reviewed-on: http://review.coreboot.org/3112
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Martin Roth 
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Mon Apr 22 14:27:40 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Fri May  3 17:26:47 2013, giving +2
See http://review.coreboot.org/3112 for details.

-gerrit