Fix the UEFI boot issue for some computer.

diff --git a/INSTALL/EFI/BOOT/BOOTX64.EFI b/INSTALL/EFI/BOOT/BOOTX64.EFI
index e18de43da2766ecad1112bb19483f1452f6118fa..c67a79099126de57871f9e4c952520d3fcadfbeb 100644 (file)
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 (file)
index 0000000..394cd70
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 (file)
index 15481ab..0000000
Binary files a/INSTALL/EFI/BOOT/mmx64.efi and /dev/null differ