Update notes for submitted changes

* ARM: Add support for 64 bit register reads/writes