kernel: Import the IPMI driver from FreeBSD.

Many thanks to Markus Pfeiffer <profmakx@dragonflybsd.org> for testing,
bug hunting and fixing the watchdog (this will be pushed in a separate
commit).