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