tools for ping ipmi and dump hashes