diff --git a/gnu/system/install.scm b/gnu/system/install.scm
index dfa003f256..3ab5c47cda 100644
--- a/gnu/system/install.scm
+++ b/gnu/system/install.scm
@@ -393,6 +393,7 @@ (define installation-os
                      grub                  ;mostly so xrefs to its manual work
                      cryptsetup
                      mdadm
+                     dosfstools         ;mkfs.fat, for the UEFI boot partition
                      btrfs-progs
                      wireless-tools iw wpa-supplicant-minimal iproute
                      ;; XXX: We used to have GNU fdisk here, but as of version