Update notes for submitted changes

* Skip recovery-from-boot.p; fix build