Re: [PATCH 12/17] x86: coreboot: Use vendor in the Kconfig