Update notes for submitted changes

* avtimer: kernel driver to expose avtimer to userspace