Responding to c#4 Yes, in your setup, "grubx64.efi" is not used. It would be used if you did not install support for secure-boot. That would have given a boot name of "opensuse", which you don't seem to have. Thanks for confirming a problem with a Dell BIOS.