Adds ipmitool, a command-line interface to IPMI-enabled devices. Signed-off-by: Floris Bos <bos@je-eigen-domein.nl> Acked-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
