Re: [coreboot] Fam10 breakage