[coreboot] Patch merged into coreboot/master: 36c6cc6 SMBIOS: Add Type 38 (IPMI) data structure