Update notes for submitted changes

* Rename ipmi driver to ipmitool