Update notes for submitted changes

* futex: Prevent attaching to kernel threads
Update notes for submitted changes

* futex: Add another early deadlock detection check