SELinux: check seqno when updating an avc_node