[coreboot-gerrit] Change in coreboot[master]: drivers/crb: Add SMBIOS hook to generate type 43 TPM Device