diff --git a/cmd/bootefi.c b/cmd/bootefi.c
index d347bd5ec064a2737f24da8a536d83a9cd45b3e6..24fc42ae898ed3d3ed2173ff7fccf04dbfe5ddc7 100644
--- a/cmd/bootefi.c
+++ b/cmd/bootefi.c
@@ -203,15 +203,15 @@ static void *get_config_table(const efi_guid_t *guid)
 /**
  * efi_install_fdt() - install device tree
  *
- * If fdt_addr is available, the device tree located at that memory address will
- * will be installed as configuration table, otherwise the device tree located
- * at the address indicated by environment variable fdt_addr or as fallback
- * fdtcontroladdr will be used.
+ * If fdt is not EFI_FDT_USE_INTERNAL, the device tree located at that memory
+ * address will will be installed as configuration table, otherwise the device
+ * tree located at the address indicated by environment variable fdt_addr or as
+ * fallback fdtcontroladdr will be used.
  *
  * On architectures using ACPI tables device trees shall not be installed as
  * configuration table.
  *
- * @fdt_addr:	address of device tree or EFI_FDT_USE_INTERNAL to use the
+ * @fdt:	address of device tree or EFI_FDT_USE_INTERNAL to use the
  *		the hardware device tree as indicated by environment variable
  *		fdt_addr or as fallback the internal device tree as indicated by
  *		the environment variable fdtcontroladdr