Update notes for submitted changes

* Account for a platform difference in semaphores