Understanding udev's SELinux integration