ipmi: split device discovery and registration