SELinux in PCI profile