Getting an IPMI device