Re: [coreboot] building error of family 10 code (in Kconfig)