Update notes for submitted changes

* SELinux: Fix possible NULL pointer dereference in selinux_inode_permission()