The text 269cf3fd763c, as Debian 9 (Stretch) shipped it.
IPMI configuration file details
ipmi-config.conf(5) on Linux now