Update notes for submitted changes

* IPMI driver (bug fixes).