[coreboot] New patch to review for coreboot: ebc7d25 crossgcc: update to gcc 4.7.2