Update notes for submitted changes

* arm-none-linux-gnueabi: strip some core shared libraries.