selinux: explicitly number all selinuxfs inodes