5. Ubicación del Kernel

En el directorio `/boot`, ¿cuál es el nombre típico del archivo de imagen del kernel de Linux comprimido? Por favor, responda en inglés, prestando atención a la sensibilidad a mayúsculas y minúsculas.