Better user experience when kernel isn't found