[coreboot] Patch merged into coreboot/master: a925fd4 crossgcc: update to gcc 4.7.2