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