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