Update notes for submitted changes

* libm: These optimizations are only for Krait