Add IPMI kernel driver support:

This makes ipmi calls from the host available.

Signed-off-by: Jacob Weinstock <jakobweinstock@gmail.com>

Author: jacobweinstock