Comment 7 for bug 1568050

cyphermox, as for your complaint about grubx64.efi, I don't understand it and I don't think I ever typed that anywhere, so it must have come from grub. My "grub-install" just passes through things like that in "$@".