Add RHEL support for installing IPMI tools