diff --git a/chapter10/kernel.xml b/chapter10/kernel.xml
index 419faa264..27bd6e2f9 100644
--- a/chapter10/kernel.xml
+++ b/chapter10/kernel.xml
@@ -115,6 +115,9 @@ General architecture-dependent options  --->
    [*] Stack Protector buffer overflow detection [CONFIG_STACKPROTECTOR]
    [*]   Strong Stack Protector [CONFIG_STACKPROTECTOR_STRONG]
 Device Drivers  --->
+  Firmware Drivers   --->
+   EFI (Extensible Firmware Interface) Support  --->
+     [*] Enable the generic EFI decompressor [CONFIG_EFI_ZBOOT]
   Graphics support --->
    Frame buffer Devices --->
       <*> Support for frame buffer devices --->
@@ -155,6 +158,8 @@ Device Drivers  --->
       [ ] Enable the firmware sysfs fallback mechanism [CONFIG_FW_LOADER_USER_HELPER]
   Firmware Drivers   --->
    [*] Export DMI identification via sysfs to userspace [CONFIG_DMIID]
+   EFI (Extensible Firmware Interface) Support  --->
+     [*] Enable the generic EFI decompressor [CONFIG_EFI_ZBOOT]
   Graphics support --->
    Frame buffer Devices --->
       <*> Support for frame buffer devices --->
@@ -258,6 +263,15 @@ File systems  --->
         </listitem>
       </varlistentry>
 
+      <varlistentry>
+        <term><parameter>Enable the generic EFI decompressor</parameter></term>
+        <listitem>
+          <para>Create the bootable image as an EFI application that carries
+          the actual kernel image in compressed form.  It can make the
+          bootable image 50% smaller.</para>
+        </listitem>
+      </varlistentry>
+
       <varlistentry>
         <term><parameter>Framebuffer Console support</parameter></term>
         <listitem>
@@ -326,9 +340,10 @@ File systems  ---&gt;
     used. The filename below can be changed to suit your taste, but the stem of
     the filename should be <emphasis>vmlinuz</emphasis> to be compatible with
     the automatic setup of the boot process described in the next section.  The
-    following command assumes an ARM64 architecture:</para>
+    following command assumes an ARM64 architecture with an EFI boot loader
+    (for example, GRUB built in &ch-final;):</para>
 
-<screen><userinput remap="install">cp -iv arch/arm64/boot/Image /boot/vmlinuz-&linux-version;-lfs-&version;</userinput></screen>
+<screen><userinput remap="install">cp -iv arch/arm64/boot/vmlinuz.efi /boot/vmlinuz-&linux-version;-lfs-&version;</userinput></screen>
 
     <para><filename>System.map</filename> is a symbol file for the kernel.
     It maps the function entry points of every function in the kernel API,