[CentOS] how do I manage a Dell PE 860 server via IPMI?