The text b13f6b9f977d, as FreeBSD 11.4-RELEASE shipped it.
OpenIPMI compatible IPMI interface driver
ipmi(4) on FreeBSD now
