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