One more time, with (hopefully) all necessary comments addressed: Removed the stub code and went back to the makefile conditionals for handling the no IPMI case.
Added asserts for catching spec version overflow. Clean up the definitions in build_acpi_ipmi_devices(). Folded build_isa_ipmi_aml. into build_isa_devices_aml(). Removed the now unnecessary pmcs parameter to build_isa_devices_aml(). Added 2016 to all copyrights. Thanks again for the comments and suggestions. -corey
