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