* 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