diff --git a/debian/changelog b/debian/changelog
index b82c2fa5..c11b07ac 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,6 +8,9 @@ debian-cd (3.1.23) UNRELEASED; urgency=medium
   * contrib/HEADER.html.in: add paragraphs describing the Debian Edu netinst
     images for amd64 and i386.
 
+  [ Steve McIntyre ]
+  * Add grub-efi packages to armhf media
+
  -- Holger Levsen <holger@debian.org>  Thu, 07 Feb 2019 15:53:42 +0100
 
 debian-cd (3.1.22) unstable; urgency=medium
diff --git a/tools/generate_di+k_list b/tools/generate_di+k_list
index d4ec11f2..8b895e24 100755
--- a/tools/generate_di+k_list
+++ b/tools/generate_di+k_list
@@ -215,6 +215,9 @@ busybox
 flash-kernel
 linux-image-armmp
 linux-image-armmp-lpae
+grub-efi
+grub-efi-arm
+grub-efi-arm-bin
 #endif
 
 #ifdef ARCH_arm64