selinux boot issue workaround