Update notes for submitted changes

* Use no_timer_check with soft-qemu