Re: [coreboot] Athlon 64 X2, coreboot, and ECC memory