[coreboot-gerrit] Patch set updated for coreboot: 80475ac crossgcc: update to gcc 4.7.3