name for init script on debian is openipmi, not ipmi

The name of the actual script in /etc/init.d on Debian distros is openipmi, not ipmi. We had an internal manual fix for this but it's better to just switch on the service name based on distro.