Update notes for submitted changes

* ARM: only allow kernel mode neon with AEABI