Only return servers for which ohai detected IPMI addresses