Re: [coreboot] fam10 of Kconfig crashes sometimes