ipmi: print info for spmi and smbios paths like acpi and pci