Update notes for submitted changes

* ARM: add SCHED_HRTICK config option