ipmi plugin: Rename IPMI sensors so names are unique.