Fix name of ipmi check

roles/base/files/usr/lib/check_mk_agent/plugins/ipmi

@@ -13,7 +13,7 @@ if ! which ipmitool >/dev/null 2>&1 || ! which fping >/dev/null 2>&1 ; then
     exit
 fi
 
-echo "<<<ipmi>>>"
+echo "<<<ipmi-reachability>>>"
 
 # Grab IPMI IP from interfaces file
 IPMIIP_INTERFACES=$(grep 'ipmitool' /etc/network/interfaces.d/ipmi | grep -v 'defgw' | grep 'ipaddr' | awk '{ print $NF }')