The text b272ff738593, as Debian 10 (Buster) shipped it.
specify default values to FreeIPMI
ipmiconsole.conf(5) on Linux now
