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