Update error message when kernel cannot be found