Re: [PATCH v4 16/20] x86: coreboot: Record the position of the SMBIOS tables