[coreboot] gcc 4.6.0 and coreboot