diff --git a/generator/UEFI.ml b/generator/UEFI.ml
index 80b87392b..95797aad9 100644
--- a/generator/UEFI.ml
+++ b/generator/UEFI.ml
@@ -58,13 +58,6 @@ let firmware = [
     "/usr/share/edk2/ovmf/OVMF_VARS.fd",
     [];
 
-    (* kraxel's old repository, these will be removed by end of 2016. *)
-    "x86_64",
-    "/usr/share/edk2.git/ovmf-x64/OVMF_CODE-pure-efi.fd",
-    None,
-    "/usr/share/edk2.git/ovmf-x64/OVMF_VARS-pure-efi.fd",
-    [];
-
     "x86_64",
     "/usr/share/qemu/ovmf-x86_64-code.bin",
     None,
@@ -82,13 +75,6 @@ let firmware = [
     None,
     "/usr/share/edk2/aarch64/vars-template-pflash.raw",
     [];
-
-    (* kraxel's old repository, these will be removed by end of 2016. *)
-    "aarch64",
-    "/usr/share/edk2.git/aarch64/QEMU_EFI-pflash.raw",
-    None,
-    "/usr/share/edk2.git/aarch64/vars-template-pflash.raw",
-    [];
 ]
 
 let arches = sort_uniq (List.map (fun (arch, _, _, _, _) -> arch) firmware)