Update notes for submitted changes

* Use libreboot to reboot.