[coreboot] New patch to review for coreboot: 2e8c9a0 Fix gcc-4.7 building problem.