Update notes for submitted changes

* Add __aeabi_ulcmp implementation