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