[coreboot] Patch set updated for coreboot: a925fd4 crossgcc: update to gcc 4.7.2