5. カーネルの場所

`/boot` ディレクトリにおいて、圧縮された Linux カーネルイメージファイルには通常どのような名前が付けられていますか？大文字と小文字を区別して、英語で回答してください。