diff --git a/man/kernel-install.xml b/man/kernel-install.xml
index 37eefe256e..88208250e8 100644
--- a/man/kernel-install.xml
+++ b/man/kernel-install.xml
@@ -184,13 +184,15 @@
+ /usr/lib/kernel/cmdline
/etc/kernel/cmdline
/proc/cmdline
Read by 90-loaderentry.install. The content of the file
/etc/kernel/cmdline specifies the kernel command line to use. If that file does not
- exist, /proc/cmdline is used.
+ exist, /usr/lib/kernel/cmdline is used. If that also does not exist,
+ /proc/cmdline is used.
@@ -212,8 +214,9 @@
The content of this file specifies the machine identification
- MACHINE-ID. If it cannot read /etc/machine-id,
- kernel-install will use "Linux" as the machine ID instead.
+ MACHINE-ID. If $BOOT/Default exists,
+ or /etc/machine-id doesn't, kernel-install
+ will use the literal Default as the machine ID instead.
@@ -222,7 +225,9 @@
/usr/lib/os-release
- The content of the file specifies the operating system title PRETTY_NAME.
+ Read by 90-loaderentry.install.
+ If available, PRETTY_NAME is read from these files and used as the title of the boot menu entry.
+ Otherwise, Linux KERNEL-VERSION will be used.