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