5. Localização do Kernel

No diretório `/boot`, qual é o nome típico para o arquivo de imagem do kernel Linux compactado? Por favor, responda em inglês, prestando atenção à sensibilidade a maiúsculas e minúsculas.