acpi: ipmi: use AcpiDevAmlIf interface to build IPMI device descriptors