Fix crash when kernel cannot be found -- sets kernel_active to false.