SELinux boot fix