[PATCH v3 15/19] x86: coreboot: Record the position of the SMBIOS tables