The text bb2f85545f36, as Debian 7 (Wheezy) shipped it.
specify default values to FreeIPMI
freeipmi.conf(5) on Linux now
