Re: [coreboot] r1057 - in coreboot-v3/arch/x86: . intel/core2