Update recovery kernel with SELinux