Now that Igor has reworked things to remove the SSDT, I've updated IPMI code to work with the new format. This is functionally the same as before, just for ACPI it adds the data to the DSDT now.
This will avoid a lot of "Why doesn't IPMI work when I add it?" questions, which I have already gotten. -corey