Re: [U-Boot] [PATCH 14/15] x86: Switch to use SMBIOS Kconfig options when writing SMBIOS tables