[PATCH] SELinux: cleanup ipc_has_perm