Re: [coreboot] [PATCHes]kconfig: some amd fam10, tyan boards