Update notes for submitted changes

* Many bug fixes (mainly on the IPMI driver).