Re: [coreboot] r1059 - coreboot-v3/arch/x86/intel/core2