The text ee2a9ac62ece, as Debian 9 (Stretch) shipped it.
specify default values to FreeIPMI
freeipmi.conf(5) on Linux now
