diff --git a/man/kernel-install.xml b/man/kernel-install.xml
index a109a1be385..0bf3dfd5596 100644
--- a/man/kernel-install.xml
+++ b/man/kernel-install.xml
@@ -291,6 +291,36 @@
If is used, $KERNEL_INSTALL_VERBOSE=1 will be
exported for plugins. They may output additional logs in this case.
+ $KERNEL_INSTALL_IMAGE_TYPE=uki|pe|unknown is set for the plugins to specify the
+ type of the kernel image.
+
+
+
+ uki
+
+ Unified kernel image.
+
+
+
+
+
+ pe
+
+ PE binary.
+
+
+
+
+
+ unknown
+
+ Unknown type.
+
+
+
+
+
+
$KERNEL_INSTALL_MACHINE_ID is set for the plugins to the desired machine-id to
use. It's always a 128-bit ID. Normally it's read from /etc/machine-id, but it can
also be overridden via $MACHINE_ID (see below). If not specified via these methods,