Hi,
You may check Device Manager (view -> show hidden devices) and try to find Microsoft Generic IPMI Compliant Device section, if it displayed with no error, then, it is normal.
As far as I know, the IPMI interface is built-in the motherboard and IPMI driver supplies the IPMI WMI provider with data from the Baseboard Management Controller (BMC). You may also contact the hardware manufacture and confirm with them about the IPMI device supportability.
Best Regards,
Eve Wang