Update notes for submitted changes

* pic32mx: false pending at low core clock