ipmi(4) on FreeBSD

The text 3a5729829402, as FreeBSD 13.2-RELEASE, FreeBSD 13.1-RELEASE, FreeBSD 13.0-RELEASE shipped it.

OpenIPMI compatible IPMI interface driver

ipmi(4) on FreeBSD now