Re: [coreboot] [PATCH] Get mptable OEM/product ID from kconfig variables