SELinux: use do_each_thread as a proper do/while block