diff --git a/tool/boot/README b/tool/boot/README
index 7b3f4b1c6..8911087fa 100644
--- a/tool/boot/README
+++ b/tool/boot/README
@@ -45,7 +45,7 @@ code respectively the download source of binaries are described below.
   Source code was obtained from git://git.savannah.gnu.org/grub.git, git
   commit 972765fe8245cdf44d465329f33b5aa9ac6c2f47.
 
-  The following modules were included: part_msdos iso9660 part_gpt ext2 multiboot multiboot2 fat normal configfile setpci serial efi_uga efi_gop
+  The following modules were included: part_msdos iso9660 part_gpt ext2 multiboot multiboot2 fat normal configfile setpci serial efi_uga efi_gop gzio
 
 :'tianocore.bin'
 
diff --git a/tool/boot/grub2_32.efi b/tool/boot/grub2_32.efi
index b2c32780f..2e86fbbb1 100644
Binary files a/tool/boot/grub2_32.efi and b/tool/boot/grub2_32.efi differ
diff --git a/tool/boot/grub2_64.efi b/tool/boot/grub2_64.efi
index 5ea202088..0bbd4459b 100644
Binary files a/tool/boot/grub2_64.efi and b/tool/boot/grub2_64.efi differ
diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova
index a74582324..f25389a3d 100644
--- a/tool/run/boot_dir/nova
+++ b/tool/run/boot_dir/nova
@@ -56,8 +56,13 @@ proc run_boot_dir {binaries} {
 	exec rm -rf [run_dir]/genode
 
 	if {[have_include "image/iso"] || [have_include "image/disk"] || [have_include image/uefi]} {
+		#
+		# Compress Genode image, to be uncompressed by GRUB
+		#
+		exec gzip [run_dir]/image.elf
+
 		if {[have_include "image/iso"] || [have_include "image/disk"]} {
-			#
+
 			# Install isolinux/GRUB files and bender
 			#
 			install_iso_bootloader_to_run_dir
@@ -71,7 +76,7 @@ proc run_boot_dir {binaries} {
 			puts $fh "\ntitle Genode on NOVA"
 			puts $fh " kernel /boot/bender"
 			puts $fh " module /hypervisor iommu serial novpid novga"
-			puts $fh " module /image.elf"
+			puts $fh " module /image.elf.gz"
 			close $fh
 		}
 
@@ -91,7 +96,7 @@ proc run_boot_dir {binaries} {
 		puts $fh "menuentry 'Genode on NOVA' {"
 		puts $fh " multiboot2 /boot/bender serial_fallback"
 		puts $fh " module2 /hypervisor hypervisor iommu serial novpid novga"
-		puts $fh " module2 /image.elf image.elf"
+		puts $fh " module2 /image.elf.gz image.elf"
 		puts $fh "}"
 		close $fh
 	}