This series adds a DMI fwnode, creates an IPMI platform device from the SMBIOS table, and converts the IPMI driver over to use the new platform device.
This is essentially the same thing I posted a while ago, I just updated the v4 version to the latest kernel. I'd really like to get this in to the kernel. I can handle the IPMI side of things, of course, and with permission I can bring this in through the IPMI tree. Thanks, -corey
