d3ea000db6
* Mention the IPMI hardware type in usage docs * Cross-link between usage and install docs * Add missing ipmitool vendor interface example * Stop pretending that there is one "IPMItool driver" * Fix several small issues Change-Id: I3c8928abc319d04b84f8581226627860c57a1abc Related-Bug: #1524745