Re: [coreboot] unstable AMD Fam10h boot