Update notes for submitted changes

* IPMI driver sets bootdev option persistently.