SELinux and dedicated disks