[coreboot-gerrit] Change in coreboot[master]: smbios: Add API to generate SMBIOS type 43 TPM Device