Update notes for submitted changes

* Add cycle counters for 64-bit ARM