[SeaBIOS] [PATCH v2 0/2] Add IPMI SMBIOS/ACPI support

I went ahead and kept the structure passing because I've added ACPI 
support.  After thinking about it a while, I think if you have to
pass anything to SMBIOS (like "IPMI is present") you might as well
pass the whole structure, and making things fixed in the BIOS that
can change in the hardware doesn't seem like a good idea.

Note that the acpi-element code might make building the SSDT table
a little cleaner, if that is interesting.