Updated kernel without SELinux