diff --git a/INSTALL/EFI/BOOT/BOOTX64.EFI b/INSTALL/EFI/BOOT/BOOTX64.EFI
index e18de43da27..c67a7909912 100644
Binary files a/INSTALL/EFI/BOOT/BOOTX64.EFI and b/INSTALL/EFI/BOOT/BOOTX64.EFI differ
diff --git a/INSTALL/EFI/BOOT/MokManager.efi b/INSTALL/EFI/BOOT/MokManager.efi
new file mode 100644
index 00000000000..394cd70268c
Binary files /dev/null and b/INSTALL/EFI/BOOT/MokManager.efi differ
diff --git a/INSTALL/EFI/BOOT/grubx64.efi b/INSTALL/EFI/BOOT/grub.efi
similarity index 100%
rename from INSTALL/EFI/BOOT/grubx64.efi
rename to INSTALL/EFI/BOOT/grub.efi
diff --git a/INSTALL/EFI/BOOT/mmx64.efi b/INSTALL/EFI/BOOT/mmx64.efi
deleted file mode 100644
index 15481abfbe3..00000000000
Binary files a/INSTALL/EFI/BOOT/mmx64.efi and /dev/null differ