Update needed for SELinux kernel config