[coreboot] New patch to review for coreboot: 36c6cc6 SMBIOS: Add Type 38 (IPMI) data structure