<variablelist>
<varlistentry>
- <term><option>kernel-identify</option> <replaceable>kernel</replaceable></term>
+ <term><option>kernel-identify</option> <replaceable>KERNEL-IMAGE</replaceable></term>
<listitem><para>Takes a kernel image as argument. Checks what kind of kernel the image is. Returns
one of <literal>uki</literal>, <literal>addon</literal>, <literal>pe</literal>, and
</varlistentry>
<varlistentry>
- <term><option>kernel-inspect</option> <replaceable>kernel</replaceable></term>
+ <term><option>kernel-inspect</option> <replaceable>KERNEL-IMAGE</replaceable></term>
<listitem><para>Takes a kernel image as argument. Prints details about the image.</para>
" random-seed Initialize or refresh random seed in ESP and EFI\n"
" variables\n"
"\n%3$sKernel Image Commands:%4$s\n"
- " kernel-identify Identify kernel image type\n"
- " kernel-inspect Prints details about the kernel image\n"
+ " kernel-identify KERNEL-IMAGE\n"
+ " Identify kernel image type\n"
+ " kernel-inspect KERNEL-IMAGE\n"
+ " Prints details about the kernel image\n"
"\n%3$sBlock Device Discovery Commands:%4$s\n"
" -p --print-esp-path Print path to the EFI System Partition mount point\n"
" -x --print-boot-path Print path to the $BOOT partition mount point\n"