Add IPMI kernel driver support:

This makes ipmi calls from the host available.

Signed-off-by: Jacob Weinstock <[email protected]>

Author: jacobweinstock